/* ==========================================================================
   Schriften, oertlich abgelegt.

   Vorher wurden Inter und JetBrains Mono bei jedem Seitenaufruf von
   fonts.googleapis.com und fonts.gstatic.com geladen. Damit ging die
   IP-Adresse jedes Besuchers an Google — einwilligungspflichtig und der
   Grund, warum die Datenschutzerklaerung einen eigenen Abschnitt dafuer
   brauchte. Seit die Dateien hier liegen, verlaesst beim Aufruf dieser
   Seiten nichts mehr den eigenen Webspace.

   Es sind veraenderliche Schriften (variable fonts): eine Datei deckt
   alle Staerken von 100 bis 900 ab, statt einer Datei je Schnitt.
   Enthalten sind nur die Zeichensaetze latin und latin-ext und nur der
   aufrechte Schnitt — kursiv kommt auf diesen Seiten nicht vor.

   Beide Schriften stehen unter der SIL Open Font License 1.1; die
   Lizenztexte liegen daneben.
   ========================================================================== */

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('inter-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;
}

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('inter-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+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD;
}

@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('jetbrains-mono-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;
}

@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('jetbrains-mono-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+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD;
}