@font-face {
	font-family: "Unifont";
	font-display: swap;
	src:
		url("/static/font/unifont.min.woff2?prefer_proxy") format("woff2"),
		url("/static/font/unifont.min.ttf?prefer_proxy");
	font-weight: 600;
}

@font-face {
	font-family: "Noto Serif SC Regular";
	font-display: swap;
	src:
		url("/static/font/noto_serif_sc_regular.min.woff2?prefer_proxy") format("woff2"),
		url("/static/font/noto_serif_sc_regular.min.otf?prefer_proxy");
}

@font-face {
	font-family: "Ubuntu Mono";
	font-display: swap;
	src:
		url("/static/font/ubuntu_mono.woff2?prefer_proxy") format("woff2"),
		url("/static/font/ubuntu_mono.ttf?prefer_proxy");
}