/* Inter, self-hosted. The console's copy: same two files as the site's
   /assets/inter.css, under /static because the control plane serves the console
   on its own origin and a cross-origin font load is a CORS problem nobody needs.
   Every page used to pull this from fonts.googleapis.com, which handed each
   visitor's IP address to Google on page load: a third-country transfer, on a
   site whose whole claim is that data stays in the EU, and one the privacy
   policy would otherwise have to disclose in section 6. Served from our own
   origin now, so there is nothing to disclose and nothing to consent to.

   Two files, not ten. Google serves Inter as a variable font, so the five
   per-weight URLs it advertises are byte-identical: one file per subset covers
   400 through 800 via `font-weight: 100 900`. latin-ext is here for the Czech
   diacritics in the imprint and the privacy policy; the cyrillic, greek and
   vietnamese subsets appear nowhere on the site and are not shipped. */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('/static/fonts/inter-latin-ext.woff2') format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('/static/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;
}