/* The site's fonts, served from this server rather than Google Fonts: no
   extra connections before text can render, and visitors' IP addresses
   aren't sent to Google. Latin subsets of Google Fonts' woff2 files;
   Space Grotesk and IBM Plex Sans are variable (one file for every
   weight). Licence: fonts/OFL.txt (SIL Open Font License 1.1). Pages
   preload the two text fonts (see the <head> of each page). */
@font-face {
	font-family: "Space Grotesk";
	font-style: normal;
	font-weight: 300 700;
	font-display: swap;
	src: url(/fonts/space-grotesk.woff2) format("woff2");
}
@font-face {
	font-family: "IBM Plex Sans";
	font-style: normal;
	font-weight: 100 700;
	font-display: swap;
	src: url(/fonts/ibm-plex-sans.woff2) format("woff2");
}
@font-face {
	font-family: "IBM Plex Mono";
	font-style: normal;
	font-weight: 400;
	font-display: swap;
	src: url(/fonts/ibm-plex-mono-400.woff2) format("woff2");
}
@font-face {
	font-family: "IBM Plex Mono";
	font-style: normal;
	font-weight: 500;
	font-display: swap;
	src: url(/fonts/ibm-plex-mono-500.woff2) format("woff2");
}
@font-face {
	font-family: "IBM Plex Mono";
	font-style: normal;
	font-weight: 600;
	font-display: swap;
	src: url(/fonts/ibm-plex-mono-600.woff2) format("woff2");
}