/* Die Schrift der App, aus dem Projekt ausgeliefert statt von fonts.bunny.net.

   Frueher holte jede Seite neun einzelne Schnitte (100 bis 900) von einem
   fremden Server. Das kostete bei schlechtem Netz Zeit, uebertrug die
   IP-Adresse jedes Aufrufs an einen Dritten - und die Zwischenwerte, die das
   Stylesheet benutzt (650, 750), gab es dort gar nicht: Der Browser musste
   auf 700 runden.

   Hier steht stattdessen die veraenderliche Fassung: eine Datei je Zeichensatz,
   in der die Staerke stufenlos von 100 bis 900 laeuft. Zusammen rund 53 KB
   gegenueber gut 200 KB fuer die neun Einzelschnitte.

   Die Dateien stammen aus @fontsource-variable/encode-sans und werden von
   webpack.mix.js nach public/css/fonts kopiert.

   Der Familienname ist bewusst "encode-sans" - so heisst er in
   tailwind.config.js, damit musste dort nichts geaendert werden. */

@font-face {
    font-family: 'encode-sans';
    font-style: normal;
    font-display: swap;
    font-weight: 100 900;
    src: url('fonts/encode-sans-latin.woff2') format('woff2-variations');
    unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA,
                   U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+2074, U+20AC,
                   U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

/* Osteuropaeische Zeichen - fuer Namen in der Mitarbeiterliste */
@font-face {
    font-family: 'encode-sans';
    font-style: normal;
    font-display: swap;
    font-weight: 100 900;
    src: url('fonts/encode-sans-latin-ext.woff2') format('woff2-variations');
    unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7,
                   U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF,
                   U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0,
                   U+2113, U+2C60-2C7F, U+A720-A7FF;
}