/* Hakke Sans (OFL derivative of Familjen Grotesk) and IBM Plex Mono (Latin), self-hosted.
   Link this file, then preload woff2/HakkeSans-Regular.woff2?v=3 and woff2/HakkeSans-Bold.woff2?v=3.
   The ?v= is the font version: the WOFF2 files are cached for a year, so bump it in every src below, in
   the site's preload links and on its link to this file whenever a font file changes. */
@font-face { font-family: "Hakke Sans"; font-weight: 400; font-style: normal; font-display: swap; src: url("woff2/HakkeSans-Regular.woff2?v=3") format("woff2"); }
@font-face { font-family: "Hakke Sans"; font-weight: 500; font-style: normal; font-display: swap; src: url("woff2/HakkeSans-Medium.woff2?v=3") format("woff2"); }
@font-face { font-family: "Hakke Sans"; font-weight: 600; font-style: normal; font-display: swap; src: url("woff2/HakkeSans-SemiBold.woff2?v=3") format("woff2"); }
@font-face { font-family: "Hakke Sans"; font-weight: 700; font-style: normal; font-display: swap; src: url("woff2/HakkeSans-Bold.woff2?v=3") format("woff2"); }
@font-face { font-family: "IBM Plex Mono"; font-weight: 400; font-style: normal; font-display: swap; src: url("woff2/IBMPlexMono-Regular.woff2?v=3") format("woff2"); }
@font-face { font-family: "IBM Plex Mono"; font-weight: 500; font-style: normal; font-display: swap; src: url("woff2/IBMPlexMono-Medium.woff2?v=3") format("woff2"); }