/**
 * fonts.css
 * =========
 * Die Schriften der Designsprache, ausgeliefert vom eigenen Server (Issue #123).
 *
 * Vorher lud jede Seite sie bei Google Fonts. Das setzt zwar kein Cookie,
 * uebertraegt aber bei jedem Aufruf die IP-Adresse der Besucherin an einen
 * Dritten. Fuer ein Werkzeug, dessen Datenschutzabschnitt gelesen wird, bevor
 * jemand eigene Zahlen eintraegt, ist das die falsche Voreinstellung.
 *
 * **Diese Datei bedient beide Medien.** Die Oberflaeche laedt sie ueber
 * `base.html`, das PDF der Bedienungsanleitung ueber `generators/
 * anleitung_pdf.py`. Moeglich macht das der relative Pfad `../fonts/`: Im
 * Browser loest er gegen `/static/css/` auf, in WeasyPrint gegen den Ort dieser
 * Datei im Dateisystem. Zwei Fassungen derselben Deklaration liefen sonst
 * auseinander, sobald ein Schnitt dazukommt.
 *
 * Nur WOFF2, rund ein Drittel so gross wie TrueType und von jedem Browser der
 * letzten Jahre verstanden. Auch der PDF-Bau kommt damit zurecht: WeasyPrint
 * fordert `fonttools[woff]`, und dieses Extra zieht brotli zwingend mit.
 *
 * Lizenz beider Familien: SIL Open Font License, siehe `../fonts/LIZENZ.md`.
 */

@font-face {
  font-family: 'Familjen Grotesk';
  src: url('../fonts/FamiljenGrotesk-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'Familjen Grotesk';
  src: url('../fonts/FamiljenGrotesk-Bold.woff2') format('woff2');
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'Atkinson Hyperlegible';
  src: url('../fonts/AtkinsonHyperlegible-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'Atkinson Hyperlegible';
  src: url('../fonts/AtkinsonHyperlegible-Bold.woff2') format('woff2');
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'Atkinson Hyperlegible';
  src: url('../fonts/AtkinsonHyperlegible-Italic.woff2') format('woff2');
  font-weight: 400;
  font-style: italic;
  font-display: swap;
}

/* Zwei Schnitte, und der zweite ist leicht zu übersehen: 500 nutzen die eigenen
   Stylesheets, 600 fordert die Versionsmarke der Neuigkeiten-Seite an, die aus
   dem Paket web-changelog kommt (`.wc-tag`). Fehlte er, rechnete der Browser
   sich einen fetten Schnitt aus, und die Ziffern liefen anders als überall
   sonst. Genau deshalb stand im früheren Google-Link `wght@500;600`. */
@font-face {
  font-family: 'JetBrains Mono';
  src: url('../fonts/JetBrainsMono-Medium.woff2') format('woff2');
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'JetBrains Mono';
  src: url('../fonts/JetBrainsMono-SemiBold.woff2') format('woff2');
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}