/* Lokale Schriften (SIL Open Font License 1.1, über Fontsource). Kein Abruf bei Google. */
@font-face{font-family:"Bodoni Moda";font-style:normal;font-display:swap;font-weight:400 900;src:url(bodoni-moda-opsz-normal.woff2) format("woff2-variations"),url(bodoni-moda-opsz-normal.woff2) format("woff2")}
@font-face{font-family:"Bodoni Moda";font-style:italic;font-display:swap;font-weight:400 900;src:url(bodoni-moda-opsz-italic.woff2) format("woff2-variations"),url(bodoni-moda-opsz-italic.woff2) format("woff2")}
@font-face{font-family:"Hanken Grotesk";font-style:normal;font-display:swap;font-weight:100 900;src:url(hanken-grotesk-wght.woff2) format("woff2-variations"),url(hanken-grotesk-wght.woff2) format("woff2")}
@font-face{font-family:"IBM Plex Mono";font-style:normal;font-display:swap;font-weight:400;src:url(ibm-plex-mono-400.woff2) format("woff2")}
@font-face{font-family:"IBM Plex Mono";font-style:normal;font-display:swap;font-weight:500;src:url(ibm-plex-mono-500.woff2) format("woff2")}
/* Ersatzschriften mit angepasster Laufweite: weniger Springen, bis die eigenen Schriften geladen sind */
@font-face{font-family:"WHF Bodoni72";src:local("Bodoni 72 Book"),local("BodoniSvtyTwoITCTT-Book"),local("Bodoni 72");size-adjust:122%}
@font-face{font-family:"WHF Times";src:local("Times New Roman"),local("TimesNewRomanPSMT"),local("Liberation Serif");size-adjust:114%}
@font-face{font-family:"WHF Noto";src:local("Noto Serif"),local("NotoSerif");size-adjust:96%}