/* Reuse the existing text font; controls use SVG, not font glyphs.
   Only the regular face is supplied; bold uses the browser's normal synthesis. */
@font-face {
	font-family: 'JetBrainsMono Nerd Font';
	font-display: swap;
	src: local('JetBrainsMonoNerdFontMono-Regular'),
		local('JetBrainsMono-Regular'),
		url('/000-public/fonts/JetBrainsMonoNerdFontMono-Regular.ttf') format('truetype');
	font-weight: 400;
	font-style: normal;
}

:root {
	--font-main: 'JetBrainsMono Nerd Font', monospace;
	--font-serif: var(--font-main);
	--font-mono: var(--font-main);
}

html, body {
	font-family: var(--font-main);
}