/* Schriften vom eigenen Server.
   Wird nur eingebunden, wenn die Dateien in assets/schriften liegen.
   Solange sie fehlen, lädt die Seite die Schriften von Google — das ist
   ohne Einwilligung datenschutzrechtlich heikel, siehe ANLEITUNG.md. */

@font-face{
  font-family:"Archivo";
  src:url("schriften/archivo-400.woff2") format("woff2");
  font-weight:400; font-style:normal; font-display:swap;
}
@font-face{
  font-family:"Archivo";
  src:url("schriften/archivo-500.woff2") format("woff2");
  font-weight:500; font-style:normal; font-display:swap;
}
@font-face{
  font-family:"Archivo";
  src:url("schriften/archivo-600.woff2") format("woff2");
  font-weight:600; font-style:normal; font-display:swap;
}
@font-face{
  font-family:"Archivo";
  src:url("schriften/archivo-700.woff2") format("woff2");
  font-weight:700; font-style:normal; font-display:swap;
}
@font-face{
  font-family:"IBM Plex Mono";
  src:url("schriften/ibm-plex-mono-400.woff2") format("woff2");
  font-weight:400; font-style:normal; font-display:swap;
}
@font-face{
  font-family:"IBM Plex Mono";
  src:url("schriften/ibm-plex-mono-500.woff2") format("woff2");
  font-weight:500; font-style:normal; font-display:swap;
}