/* JetBrains Mono, self-hosted.
 *
 * No network at runtime means no font CDN, so the face is vendored to disk --
 * see ui/vendor_fonts.py, which pulls these two subset files from the
 * @fontsource package on the npm registry.
 *
 * The subsets are declared separately, with unicode-range, so a browser
 * downloads the greek file only if the page actually contains Greek.  The
 * latin range already covers everything else the interface uses: ASCII, the
 * curly quotes and ellipsis in the toasts (U+2000-206F), the mid-dot separator
 * in the verdict line, and U+2191/U+2193 -- the arrow keys named in the
 * auditor's hint.
 *
 * Weights are a variable axis (100-800), so one file per subset covers every
 * weight instead of one file per weight.
 */

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 100 800;
  font-display: swap;
  src: url("vendor/fonts/jetbrains-mono-latin-wght-normal.woff2") format("woff2-variations");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA,
    U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193,
    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("vendor/fonts/jetbrains-mono-greek-wght-normal.woff2") format("woff2-variations");
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1,
    U+03A3-03FF;
}