@font-face {
font-family: RedHatMono-fallback;
src: local("Arial");
size-adjust: 122.46%;
ascent-override: 83.13%;
descent-override: 24.91%;
line-gap-override: 0.0%;
}
.red_hat_mono {
font-family: "Red Hat Mono",
"RedHatMono-fallback",
sans-serif;
}