@font-face {
    font-family: 'GT Pressura Mono';
    src: url('GTPressuraMono.woff2') format('woff2'),
        url('GTPressuraMono.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'GT Pressura Mono';
    src: url('GTPressuraMono-Light.woff2') format('woff2'),
        url('GTPressuraMono-Light.woff') format('woff');
    font-weight: 300;
    font-style: normal;
}

@font-face {
    font-family: 'Javacom';
    src: url('Javacom.woff2') format('woff2'),
        url('Javacom.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'GT Pressura Mono';
    src: url('GTPressuraMono-Bold.woff2') format('woff2'),
        url('GTPressuraMono-Bold.woff') format('woff');
    font-weight: bold;
    font-style: normal;
}