@font-face {
font-family: NovaMono-fallback;
src: local("Times New Roman");
size-adjust: 115.06%;
ascent-override: 94.0%;
descent-override: 27.12%;
line-gap-override: 0.0%;
}
.nova_mono {
font-family: "Nova Mono",
"NovaMono-fallback",
serif;
}