@font-face {
font-family: InriaSans-fallback;
src: local("Arial");
size-adjust: 95.4%;
ascent-override: 102.31%;
descent-override: 23.38%;
line-gap-override: 0.0%;
}
.inria_sans {
font-family: "Inria Sans",
"InriaSans-fallback",
sans-serif;
}