/* Lettertypen staan op de eigen server: geen verbinding met Google nodig (scheelt privacygedoe). */
@font-face { font-family: "Fraunces"; font-style: normal; font-display: swap; font-weight: 100 900;
  src: url(/fonts/fraunces.woff2) format("woff2-variations"), url(/fonts/fraunces.woff2) format("woff2"); }
@font-face { font-family: "Work Sans"; font-style: normal; font-display: swap; font-weight: 400; src: url(/fonts/work-sans-400.woff2) format("woff2"); }
@font-face { font-family: "Work Sans"; font-style: normal; font-display: swap; font-weight: 500; src: url(/fonts/work-sans-500.woff2) format("woff2"); }
@font-face { font-family: "Work Sans"; font-style: normal; font-display: swap; font-weight: 600; src: url(/fonts/work-sans-600.woff2) format("woff2"); }
@font-face { font-family: "Work Sans"; font-style: normal; font-display: swap; font-weight: 700; src: url(/fonts/work-sans-700.woff2) format("woff2"); }
@font-face { font-family: "IBM Plex Mono"; font-style: normal; font-display: swap; font-weight: 500; src: url(/fonts/plex-mono-500.woff2) format("woff2"); }
@font-face { font-family: "IBM Plex Mono"; font-style: normal; font-display: swap; font-weight: 600; src: url(/fonts/plex-mono-600.woff2) format("woff2"); }