@font-face {
font-family: ZedMono-fallback;
src: local("Arial");
size-adjust: 102.05%;
ascent-override: 94.76%;
descent-override: 27.73%;
line-gap-override: 0.0%;
}
.zed_mono {
font-family: "Zed Mono",
"ZedMono-fallback",
sans-serif;
}