/* Schriften lokal einbinden (kein Google-Server, DSGVO-freundlich).
   Die drei .woff2-Dateien in den Ordner assets/fonts/ legen. */
@font-face{
  font-family:"Archivo";
  src:url("fonts/archivo-variable.woff2") format("woff2");
  font-weight:100 900;
  font-stretch:62% 125%;
  font-style:normal;
  font-display:swap;
}
@font-face{
  font-family:"Instrument Sans";
  src:url("fonts/instrument-sans-variable.woff2") format("woff2");
  font-weight:400 700;
  font-style:normal;
  font-display:swap;
}
@font-face{
  font-family:"JetBrains Mono";
  src:url("fonts/jetbrains-mono-variable.woff2") format("woff2");
  font-weight:100 800;
  font-style:normal;
  font-display:swap;
}