@font-face {
font-family:NewHeterodoxMono-fallback;
src:
local("Times New Roman"),
local("TimesNewRomanPSMT"),
local("Times New Roman.ttf");
size-adjust:
142.57%;
ascent-override:
57.51%;
descent-override:
21.32%;
line-gap-override:
17.25%;
}
.new_heterodox_mono {
font-family:
"New Heterodox Mono",
"NewHeterodoxMono-fallback",
serif;
}