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

@font-face {
    font-family: 'FreeMono';
    src: url('FreeMonoBold.woff2') format('woff2'),
        url('FreeMonoBold.woff') format('woff');
    font-weight: bold;
    font-style: normal;
    font-display: swap;
}

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