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


@font-face {
    font-family: 'DejaVu Sans Condensed';
    src: url('DejaVuSansCondensed-Oblique.woff2') format('woff2'),
        url('DejaVuSansCondensed-Oblique.woff') format('woff');
    font-weight: normal;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: 'DejaVu Sans';
    src: url('DejaVuSans-BoldOblique.woff2') format('woff2'),
        url('DejaVuSans-BoldOblique.woff') format('woff');
    font-weight: bold;
    font-style: italic;
    font-display: swap;
}

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

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

@font-face {
    font-family: 'DejaVu Sans Condensed';
    src: url('DejaVuSansCondensed-BoldOblique.woff2') format('woff2'),
        url('DejaVuSansCondensed-BoldOblique.woff') format('woff');
    font-weight: bold;
    font-style: italic;
    font-display: swap;
}

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

@font-face {
    font-family: 'DejaVu Sans Mono';
    src: url('DejaVuSansMono-Bold.woff2') format('woff2'),
        url('DejaVuSansMono-Bold.woff') format('woff');
    font-weight: bold;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'DejaVu Sans Mono';
    src: url('DejaVuSansMono-BoldOblique.woff2') format('woff2'),
        url('DejaVuSansMono-BoldOblique.woff') format('woff');
    font-weight: bold;
    font-style: italic;
    font-display: swap;
}

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

@font-face {
    font-family: 'DejaVu Math TeX Gyre';
    src: url('DejaVuMathTeXGyre-Regular.woff2') format('woff2'),
        url('DejaVuMathTeXGyre-Regular.woff') format('woff');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'DejaVu Sans Condensed';
    src: url('DejaVuSansCondensed-Bold.woff2') format('woff2'),
        url('DejaVuSansCondensed-Bold.woff') format('woff');
    font-weight: bold;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'DejaVu Sans Mono';
    src: url('DejaVuSansMono-Oblique.woff2') format('woff2'),
        url('DejaVuSansMono-Oblique.woff') format('woff');
    font-weight: normal;
    font-style: italic;
    font-display: swap;
}

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

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