/* Selbst gehostete Google Fonts (2026-09-17) - vermeidet, dass bei jedem
   Seitenaufruf die IP-Adresse der Besucherin an fonts.googleapis.com/
   fonts.gstatic.com uebertragen wird (siehe LG Muenchen 2022 zu Google
   Fonts). Nur der 'latin'-Subsatz - deckt auch deutsche Umlaute/ss ab,
   Datei bleibt dadurch klein statt aller Sprachvarianten. Space Grotesk/
   IBM Plex Sans/Mono/Inter sind Variable Fonts: mehrere font-weight-
   Werte zeigen bewusst auf dieselbe lokale Datei, der Browser waehlt
   anhand des deklarierten Gewichts den passenden Punkt auf der
   'wght'-Achse (Standardverhalten, kein Duplikat). Neu erzeugt durch
   scratchpad/fetch_fonts.py, bei Bedarf dort ergaenzen und erneut laufen lassen. */

@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:400;font-display:swap;src:url('fonts/ibm-plex-mono-0.woff2') format('woff2');}
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:500;font-display:swap;src:url('fonts/ibm-plex-mono-1.woff2') format('woff2');}
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:600;font-display:swap;src:url('fonts/ibm-plex-mono-2.woff2') format('woff2');}
@font-face{font-family:'IBM Plex Sans';font-style:normal;font-weight:400;font-display:swap;src:url('fonts/ibm-plex-sans-0.woff2') format('woff2');}
@font-face{font-family:'IBM Plex Sans';font-style:normal;font-weight:500;font-display:swap;src:url('fonts/ibm-plex-sans-0.woff2') format('woff2');}
@font-face{font-family:'IBM Plex Sans';font-style:normal;font-weight:600;font-display:swap;src:url('fonts/ibm-plex-sans-0.woff2') format('woff2');}
@font-face{font-family:'Inter';font-style:normal;font-weight:400;font-display:swap;src:url('fonts/inter-0.woff2') format('woff2');}
@font-face{font-family:'Inter';font-style:normal;font-weight:500;font-display:swap;src:url('fonts/inter-0.woff2') format('woff2');}
@font-face{font-family:'Inter';font-style:normal;font-weight:600;font-display:swap;src:url('fonts/inter-0.woff2') format('woff2');}
@font-face{font-family:'Space Grotesk';font-style:normal;font-weight:400;font-display:swap;src:url('fonts/space-grotesk-0.woff2') format('woff2');}
@font-face{font-family:'Space Grotesk';font-style:normal;font-weight:500;font-display:swap;src:url('fonts/space-grotesk-0.woff2') format('woff2');}
@font-face{font-family:'Space Grotesk';font-style:normal;font-weight:600;font-display:swap;src:url('fonts/space-grotesk-0.woff2') format('woff2');}
@font-face{font-family:'Space Grotesk';font-style:normal;font-weight:700;font-display:swap;src:url('fonts/space-grotesk-0.woff2') format('woff2');}