/* Selbst gehostet (20.10.2026): keine Anfrage an Google, also keine IP dort.
   Beides sind variable Schriften, eine Datei deckt alle Gewichte ab. */
@font-face { font-family: 'Space Grotesk'; font-style: normal; font-weight: 300 700; font-display: swap;
  src: url(/_assets/fonts/space-grotesk-latin.woff2) format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 100 800; font-display: swap;
  src: url(/_assets/fonts/jetbrains-mono-latin.woff2) format('woff2'); }