@font-face {
font-family: FragmentMono-fallback;
src: local("Arial");
size-adjust: 126.13%;
ascent-override: 75.32%;
descent-override: 19.82%;
line-gap-override: 0.0%;
}
.fragment_mono {
font-family: "Fragment Mono",
"FragmentMono-fallback",
sans-serif;
}