/* Self-hosted webfonts — no request leaves the visitor's browser to Google.
   Removes the GDPR/Abmahnung exposure of loading fonts.googleapis.com, which
   transmits the visitor's IP address to Google without consent.
   (LG München I, 3 O 17493/20.)

   Files live in /fonts/. See FONTS-README.md for how to obtain them.

   No unicode-range here on purpose. Google declares one because it serves many
   subsets and wants the browser to fetch only what a page needs. We ship a single
   latin file per weight, so a range can only do harm: the site uses → ✓ ✦ ⚠,
   which sit outside Google's latin range, and they were being rendered from a
   fallback font while Inter sat unused. */

/* ---------- Inter ---------- */
@font-face{
  font-family:'Inter';
  font-style:normal;
  font-weight:400;
  font-display:swap;
  src:url('/fonts/inter-400.woff2') format('woff2');
}
@font-face{
  font-family:'Inter';
  font-style:normal;
  font-weight:500;
  font-display:swap;
  src:url('/fonts/inter-500.woff2') format('woff2');
}
@font-face{
  font-family:'Inter';
  font-style:normal;
  font-weight:600;
  font-display:swap;
  src:url('/fonts/inter-600.woff2') format('woff2');
}
@font-face{
  font-family:'Inter';
  font-style:normal;
  font-weight:700;
  font-display:swap;
  src:url('/fonts/inter-700.woff2') format('woff2');
}
@font-face{
  font-family:'Inter';
  font-style:normal;
  font-weight:800;
  font-display:swap;
  src:url('/fonts/inter-800.woff2') format('woff2');
}
@font-face{
  font-family:'Inter';
  font-style:normal;
  font-weight:900;
  font-display:swap;
  src:url('/fonts/inter-900.woff2') format('woff2');
}

/* ---------- JetBrains Mono ----------
   Used for kickers, badges and diagram annotations. It was declared in the CSS
   but never actually loaded, so every mono label was falling back to the system
   monospace (Courier on Windows). */
@font-face{
  font-family:'JetBrains Mono';
  font-style:normal;
  font-weight:500;
  font-display:swap;
  src:url('/fonts/jetbrains-mono-500.woff2') format('woff2');
}
@font-face{
  font-family:'JetBrains Mono';
  font-style:normal;
  font-weight:600;
  font-display:swap;
  src:url('/fonts/jetbrains-mono-600.woff2') format('woff2');
}