/* Inter and JetBrains Mono, served by Deployd itself (R261: "self-host the
   two font families"; card 250's note: nothing changes visually). The faces
   are the ones the pages asked Google Fonts for until then: Inter at 400,
   500, 600 and 700 and JetBrains Mono at 400 and 500, under the same family
   names, with font-display: swap. Inter at 800 is in inter-extrabold.css,
   loaded only by the pages that asked for it, so a page that did not still
   draws its 800 text with the 700 face. Every Inter face is the one
   variable file, as Google Fonts served it.
   Each unicode-range is the characters Google Fonts drew with the family
   (the union of its subsets), so every other character still falls back
   to the system font as before. Ruled R947 (card 910a): “Keep Google's
   ranges (as built)” (R261 did not say whether a character Google left
   out, such as an arrow, may now be drawn in Inter). Swap point: the
   unicode-range lines (deleting them lets each file draw every character
   it has).
   The files are built from each family's own release by
   scripts/build_fonts.py; README.md beside this file names each source and
   sha256. The ?v= keys are written by `npm run build:keys`
   (scripts/cache_keys.py). */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(/assets/fonts/Inter.woff2?v=17e75a685bcf) format('woff2');
  unicode-range: U+0000-02CC, U+02CE-02D7, U+02DA, U+02DC-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-052F, U+1C80-1C8A, U+1D00-1DBF, U+1E00-206F, U+20A0-20C0, U+2113, U+2116, U+2122, U+2191, U+2193, U+2212, U+2215, U+2C60-2C7F, U+2DE0-2DFF, U+A640-A69F, U+A720-A7FF, U+FE2E-FE2F, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(/assets/fonts/Inter.woff2?v=17e75a685bcf) format('woff2');
  unicode-range: U+0000-02CC, U+02CE-02D7, U+02DA, U+02DC-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-052F, U+1C80-1C8A, U+1D00-1DBF, U+1E00-206F, U+20A0-20C0, U+2113, U+2116, U+2122, U+2191, U+2193, U+2212, U+2215, U+2C60-2C7F, U+2DE0-2DFF, U+A640-A69F, U+A720-A7FF, U+FE2E-FE2F, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url(/assets/fonts/Inter.woff2?v=17e75a685bcf) format('woff2');
  unicode-range: U+0000-02CC, U+02CE-02D7, U+02DA, U+02DC-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-052F, U+1C80-1C8A, U+1D00-1DBF, U+1E00-206F, U+20A0-20C0, U+2113, U+2116, U+2122, U+2191, U+2193, U+2212, U+2215, U+2C60-2C7F, U+2DE0-2DFF, U+A640-A69F, U+A720-A7FF, U+FE2E-FE2F, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url(/assets/fonts/Inter.woff2?v=17e75a685bcf) format('woff2');
  unicode-range: U+0000-02CC, U+02CE-02D7, U+02DA, U+02DC-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-052F, U+1C80-1C8A, U+1D00-1DBF, U+1E00-206F, U+20A0-20C0, U+2113, U+2116, U+2122, U+2191, U+2193, U+2212, U+2215, U+2C60-2C7F, U+2DE0-2DFF, U+A640-A69F, U+A720-A7FF, U+FE2E-FE2F, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(/assets/fonts/JetBrainsMono-Regular.woff2?v=57599df7e327) format('woff2');
  unicode-range: U+0000-02CC, U+02CE-02D7, U+02DA, U+02DC-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-052F, U+1C80-1C8A, U+1D00-1DBF, U+1E00-1EFF, U+2000-206F, U+20A0-20C0, U+2113, U+2116, U+2122, U+2191, U+2193, U+2212, U+2215, U+2C60-2C7F, U+2DE0-2DFF, U+A640-A69F, U+A720-A7FF, U+FE2E-FE2F, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(/assets/fonts/JetBrainsMono-Medium.woff2?v=164fd5f5ace7) format('woff2');
  unicode-range: U+0000-02CC, U+02CE-02D7, U+02DA, U+02DC-0301, U+0303-0304, U+0308-0309, U+0323, U+0329, U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-052F, U+1C80-1C8A, U+1D00-1DBF, U+1E00-1EFF, U+2000-206F, U+20A0-20C0, U+2113, U+2116, U+2122, U+2191, U+2193, U+2212, U+2215, U+2C60-2C7F, U+2DE0-2DFF, U+A640-A69F, U+A720-A7FF, U+FE2E-FE2F, U+FEFF, U+FFFD;
}