/*
    Monospace faces served with the app, so the document panes can offer the same choices on every machine
    rather than only what the viewer happens to have installed. Self-hosted on purpose: loading these from
    a font CDN would send every visitor's IP to a third party, which is a consent question we do not need
    to have.

    All four are SIL Open Font License 1.1. The licence texts ship in wwwroot/fonts/licenses/ — the OFL
    requires them to travel with the fonts. Provenance is in wwwroot/fonts/README.md.

    One weight each: these panes render plain document text and never ask for bold, so a second weight
    would be bytes nobody reads. Anything that does want bold gets a synthesised one, which is fine here.
*/

@font-face {
    font-family: 'JetBrains Mono';
    src: url('../fonts/JetBrainsMono-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
    /* Text stays readable in the fallback while the file arrives, instead of flashing invisible. */
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Mono';
    src: url('../fonts/IBMPlexMono-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'Fira Code';
    src: url('../fonts/FiraCode-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'Source Code Pro';
    src: url('../fonts/SourceCodePro-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'DM Mono';
    src: url('../fonts/DMMono-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}
@font-face {
    font-family: 'Intel One Mono';
    src: url('../fonts/IntelOneMono-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'Space Mono';
    src: url('../fonts/SpaceMono-Regular.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}