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