/* Schriften liegen lokal auf dem eigenen Server: keine Verbindung zu Google. */
@font-face{font-family:"Archivo";src:url(archivo.woff2) format("woff2");font-weight:100 900;font-stretch:62% 125%;font-display:swap}
@font-face{font-family:"JetBrains Mono";src:url(jetbrains-mono.woff2) format("woff2");font-weight:100 800;font-display:swap}