@font-face {
	font-family: "VeraMono";
	src: url("font-squirrel/bitstream-vera-sans-mono-fdf99/veramono-webfont.woff") format("woff");
	font-weight: normal;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: "VeraMono-Italic";
	src: url("font-squirrel/bitstream-vera-sans-mono-fdf99/veramono-italic-webfont.woff") format("woff");
	font-weight: normal;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: "VeraMono-Bold";
	src: url("font-squirrel/bitstream-vera-sans-mono-fdf99/veramono-bold-webfont.woff") format("woff");
	font-weight: normal;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: "VeraMono-Bold-Italic";
	src: url("font-squirrel/bitstream-vera-sans-mono-fdf99/veramono-bold-italic-webfont.woff") format("woff");
	font-weight: normal;
	font-style: normal;
	font-display: swap;
}