/* Lokal gehostete Variable Fonts — kein externer Request (DSGVO) und keine
   Aufweichung der Content-Security-Policy noetig. Beide Dateien decken ihren
   gesamten Gewichtsbereich ab, daher jeweils nur EINE Datei. */
@font-face {
  font-family: "Space Grotesk";
  src: url("./fonts/space-grotesk.woff2") format("woff2");
  font-weight: 300 700;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src: url("./fonts/jetbrains-mono.woff2") format("woff2");
  font-weight: 100 800;
  font-style: normal;
  font-display: swap;
}