/* Self-hosted fonts.

   These were loaded from fonts.googleapis.com until now. That stylesheet was the
   only render-blocking third-party request on the site: the page inlines its own
   CSS to avoid a round trip, then waited on a DNS lookup, a TLS handshake and a
   stylesheet from another origin before it could paint. Now it is two files from
   the same origin, already connected.

   It also stops sending every visitor's IP and user agent to Google on every page
   view, which is a change worth having on a site whose privacy policy talks about
   what leaves the building.

   Variable fonts, one file per family, latin subset only. Variable because the
   design uses font-weight 650 for .pts b, which a static weight set cannot serve
   and the browser was faking. Latin only because the site is en-US and the other
   subsets would triple the bytes for glyphs no page uses.

   Regenerate with scripts/fetch_fonts.py if a weight or a family ever changes. */

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400 900;
  font-display: swap;
  src: url('/assets/fonts/inter-latin.woff2') format('woff2');
  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: 400 700;
  font-display: swap;
  src: url('/assets/fonts/jetbrains-mono-latin.woff2') format('woff2');
  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;
}