/* Schriften lokal (kein Abruf bei Google). Inter = variable Schrift, ein File für alle Gewichte.
   Quelle: Google Fonts v20, Latin-Subset, SIL Open Font License. */
@font-face{font-family:"Inter";font-style:normal;font-weight:100 900;font-display:swap;src:url("inter-latin.woff2") format("woff2")}
@font-face{font-family:"IBM Plex Mono";font-style:normal;font-weight:500;font-display:swap;src:url("ibm-plex-mono-500-latin.woff2") format("woff2")}