@font-face {
font-family: MartianMono-fallback;
src: local("Arial");
size-adjust: 153.07%;
ascent-override: 65.33%;
descent-override: 13.07%;
line-gap-override: 0.0%;
}
.martian_mono {
font-family: "Martian Mono",
"MartianMono-fallback",
sans-serif;
}