/* The two faces the vanilla shell uses, served from this site rather than from
   Google Fonts. Both are variable fonts cut to the Latin range, 80 KB between
   them, under the SIL Open Font License (OFL-*.txt beside this file).

   They are self-hosted for a reason beyond privacy: the curved tube
   (assets/td-glass.js) snapshots the page into an SVG image, and an SVG image
   cannot fetch anything, so the snapshot has to carry the font files inline.
   td-glass.js reads the URLs below to find them. */

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400 700;
  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 800;
  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;
}