@font-face {
	font-family: "SyneMono";
	src: url("/css/typefaces/SyneMono-Regular.ttf");
}

@font-face {
	font-family: "NovaMono";
	src: url("/css/typefaces/NovaMono-Regular.ttf");
}

@font-face {
	font-family: "FiraCode";
	src: url("/css/typefaces/FiraCode-Regular.ttf");
}

@font-face {
	font-family: "JetBrainsMono";
	src: url("/css/typefaces/JetBrainsMono-Regular.ttf");
}