/* Written by desk/vendor/fetch-vendor.mjs. The two faces the public site loads
   from Google Fonts, served from the site itself (latin subset, variable weight). */
@font-face {
	font-family: 'Inter';
	font-style: normal;
	font-weight: 100 900;
	font-display: swap;
	src: url(inter-latin-wght-normal.woff2) format('woff2');
}
@font-face {
	font-family: 'JetBrains Mono';
	font-style: normal;
	font-weight: 100 800;
	font-display: swap;
	src: url(jetbrains-mono-latin-wght-normal.woff2) format('woff2');
}