@font-face {
font-family:Nabla-fallback;
src:
local("Times New Roman"),
local("TimesNewRomanPSMT"),
local("Times New Roman.ttf");
size-adjust:
118.78%;
ascent-override:
106.33%;
descent-override:
31.99%;
line-gap-override:
0.0%;
}
.nabla {
font-family:
"Nabla",
"Nabla-fallback",
serif;
}