/* Fraunces and JetBrains Mono, served from here and not from fonts.googleapis.com:
   a page load must not hand the reader's IP to Google (LG Muenchen I, 3 O 17493/20
   is the ruling German lawyers cite). The same variable files the app serves from
   app/static/fonts (vendored by scripts/fetch_webfonts.py); one file per style,
   the weight RANGE lets one file serve 400 through 700. Paths are relative to this
   file, so / and /de/ and the error pages all resolve them. */
@font-face {
  font-family: 'Fraunces';
  src: url('fraunces-variable.woff2') format('woff2-variations');
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'Fraunces';
  src: url('fraunces-variable-italic.woff2') format('woff2-variations');
  font-weight: 100 900;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: 'JetBrains Mono';
  src: url('jetbrains-mono-variable.woff2') format('woff2-variations');
  font-weight: 100 800;
  font-style: normal;
  font-display: swap;
}