/* Zelf gehoste fonts, gedeeld door de handboeken en de portal.

   Statische bestanden, geen variabele fonts. Google levert Inter en
   Montserrat als variabel font, en Chromium bedt een variabel font in een PDF
   in als Type3: scherp afgedrukt, maar zacht op het scherm in Acrobat, en de
   tekstlaag verliest er spaties bij kopiëren door. Met statische instanties
   wordt het gewone TrueType. Bovendien hangt de server bij het renderen niet
   meer af van Google: een trage of onbereikbare fonts.googleapis.com gaf
   stil een PDF in het systeemfont.

   Bronnen (zie SHA256SUMS voor de controlesommen):
     Inter 4.1        github.com/rsms/inter, docs/font-files
     Montserrat       github.com/JulietaUla/Montserrat, fonts/webfonts
     IBM Plex Mono 1  npm @ibm/plex-mono, fonts/complete/woff2
   Alle drie onder de SIL Open Font License 1.1 (LICENSE-*.txt hiernaast).

   Paden relatief aan dit bestand, zodat het vanaf elke pagina werkt: de
   handboeken staan op /<schema>/, de portal op /. */

@font-face { font-family: "Inter"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("Inter-Regular.woff2") format("woff2"); }
@font-face { font-family: "Inter"; font-style: normal; font-weight: 500; font-display: swap;
  src: url("Inter-Medium.woff2") format("woff2"); }
@font-face { font-family: "Inter"; font-style: normal; font-weight: 600; font-display: swap;
  src: url("Inter-SemiBold.woff2") format("woff2"); }
@font-face { font-family: "Inter"; font-style: normal; font-weight: 700; font-display: swap;
  src: url("Inter-Bold.woff2") format("woff2"); }

@font-face { font-family: "Montserrat"; font-style: normal; font-weight: 700; font-display: swap;
  src: url("Montserrat-Bold.woff2") format("woff2"); }
@font-face { font-family: "Montserrat"; font-style: normal; font-weight: 800; font-display: swap;
  src: url("Montserrat-ExtraBold.woff2") format("woff2"); }

@font-face { font-family: "IBM Plex Mono"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("IBMPlexMono-Regular.woff2") format("woff2"); }
@font-face { font-family: "IBM Plex Mono"; font-style: normal; font-weight: 500; font-display: swap;
  src: url("IBMPlexMono-Medium.woff2") format("woff2"); }