@font-face{font-family:RedHatMono;src:url(/_next/static/media/90e08a8c2a361808-s.p.ttf) format("truetype");font-display:swap}@font-face{font-family:RedHatMono Fallback;src:local("Arial");ascent-override:77.42%;descent-override:23.20%;line-gap-override:0.00%;size-adjust:131.49%}.__className_35b5a5{font-family:RedHatMono,RedHatMono Fallback}