/* Self-hosted webfonts.
   Generated by .shots/fetch-fonts.py — do not edit by hand.

   These replace the fonts.googleapis.com links that were in the theme's head.
   Loading fonts from Google's CDN discloses every visitor's IP address to
   Google, which the Munich Regional Court (3 O 17493/20) and the Austrian DSB
   both consider unlawful without consent. Self-hosting removes that transfer.

   Both families ship as a single variable file, so one @font-face covers the
   whole weight range rather than one file per weight. */

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 300 700;
  font-display: swap;
  src: url('/fonts/inter.woff2') format('woff2');
}

@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url('/fonts/jetbrains-mono.woff2') format('woff2');
}