@font-face {
	font-family: "Noto Sans";
	src: local("Noto Sans"), local("NotoSans-Regular"), url(/NotoSans-Regular.ttf);
}

@font-face {
	font-family: "Noto Sans";
	font-weight: 700;
	src: local("Noto Sans Bold"), local("NotoSans-Bold"), url(/NotoSans-Bold.ttf);
}

@font-face {
	font-family: "Noto Sans";
	font-style: italic;
	src: local("Noto Sans Italic"), local("NotoSans-Italic"), url(/NotoSans-Italic.ttf);
}

@font-face {
	font-family: "Noto Sans Mono";
	font-weight: 700;
	src: local("Noto Sans Mono Bold"), local("NotoSansMono-Bold"), url(/NotoSansMono-Bold.ttf);
}

@font-face {
	font-family: "OCR A";
	src: local("OCR A"), local("OCR-A"), local("OCRA"), url(/OCRA.ttf), url(/OCRA.otf);
}