/* Dieselben Schriftdateien wie ehplatforms.de (assets/fonts/files) und das
   Admin-Dashboard. ❗️Nicht "eine schoene Schrift ausgesucht": es sind die,
   die im Haus ohnehin benutzt werden. Inter fuer Text, JetBrains Mono fuer
   Kennwerte und Zustaende, genau wie im Dashboard. Lokal, also kein Abruf bei
   Google und kein Zeitpunkt, an dem die Seite ohne Schrift dasteht. */
@font-face{font-family:'Inter';font-style:normal;font-weight:400;font-display:swap;src:url('inter-400.woff2') format('woff2')}
@font-face{font-family:'Inter';font-style:normal;font-weight:700;font-display:swap;src:url('inter-700.woff2') format('woff2')}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400;font-display:swap;src:url('jetbrains-mono-400.woff2') format('woff2')}