/* Die Schriften liegen auf dem eigenen Server. Dadurch geht beim Aufruf
   der Seite keine Anfrage an Google, und niemandes IP-Adresse verlässt
   das Haus. Fehlt dieser Ordner, lädt vorlage.php die Schriften wieder
   von Google Fonts — die Seite sieht dann gleich aus, ist aber nicht
   mehr so sparsam mit den Daten der Besucher. */

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