@font-face {
font-family: InriaSerif-fallback;
src: local("Times New Roman");
size-adjust: 102.79%;
ascent-override: 94.95%;
descent-override: 21.7%;
line-gap-override: 0.0%;
}
.inria_serif {
font-family: "Inria Serif",
"InriaSerif-fallback",
serif;
}