/* <!-- generated by docs/_build/gen-site.mix; do not edit -->
   Web fonts cut from asset set 2026-10-04-core-3 - the files the MixOS
   desktop renders - by hb-subset + woff2_compress. All OFL-1.1:
   sans: Inter (normal, 100 900) from fonts/InterVariable.ttf; licence /_web/fonts/LICENSE-Inter.txt
   mono: JetBrains Mono (normal, 100 800) from fonts/JetBrainsMono.ttf; licence /_web/fonts/LICENSE-JetBrainsMono.txt
   mono-italic: JetBrains Mono (italic, 100 800) from fonts/JetBrainsMono-Italic.ttf; licence /_web/fonts/LICENSE-JetBrainsMono.txt
   display: Quicksand (normal, 300 700) from fonts/Quicksand.ttf; licence /_web/fonts/LICENSE-Quicksand.txt
   emoji: MixOS Emoji (normal, 400) from web/NotoColorEmoji-COLRv1.ttf; licence /_web/fonts/LICENSE-NotoColorEmoji.txt
   Coverage is declared per face as unicode-range. */
@font-face {
    font-family: "Inter";
    font-style: normal;
    font-weight: 100 900;
    font-display: swap;
    src: url("/_web/fonts/sans.woff2?v=22f05185ef") format("woff2");
    unicode-range: U+0000-00FF, U+0100-017F, U+2000-206F, U+2190-21FF, U+20A0-20CF, U+2122, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
    font-family: "JetBrains Mono";
    font-style: normal;
    font-weight: 100 800;
    font-display: swap;
    src: url("/_web/fonts/mono.woff2?v=e34c657ae1") format("woff2");
    unicode-range: U+0000-00FF, U+0100-017F, U+2000-206F, U+2190-21FF, U+20A0-20CF, U+2122, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
    font-family: "JetBrains Mono";
    font-style: italic;
    font-weight: 100 800;
    font-display: swap;
    src: url("/_web/fonts/mono-italic.woff2?v=7e4059a28f") format("woff2");
    unicode-range: U+0000-00FF, U+0100-017F, U+2000-206F, U+2190-21FF, U+20A0-20CF, U+2122, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
    font-family: "Quicksand";
    font-style: normal;
    font-weight: 300 700;
    font-display: swap;
    src: url("/_web/fonts/display.woff2?v=fed44df28c") format("woff2");
    unicode-range: U+0000-00FF, U+0100-017F, U+2000-206F, U+2190-21FF, U+20A0-20CF, U+2122, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
    font-family: "MixOS Emoji";
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url("/_web/fonts/emoji.woff2?v=d0b2321c02") format("woff2");
    unicode-range: U+200D, U+20E3, U+FE0F, U+203C, U+2049, U+2139, U+231A-231B, U+2328, U+23CF, U+23E9-23FA, U+24C2, U+25AA-25AB, U+25B6, U+25C0, U+25FB-25FE, U+2600-27BF, U+2934-2935, U+2B05-2B07, U+2B1B-2B1C, U+2B50, U+2B55, U+3030, U+303D, U+3297, U+3299, U+1F000-1FAFF, U+E0020-E007F;
}