@font-face{font-family:jetbrainsMono;src:url(/_next/static/media/1e0424eb5dd8cb13-s.p.woff2) format("woff2");font-display:swap}@font-face{font-family:jetbrainsMono Fallback;src:local("Arial");ascent-override:77.57%;descent-override:22.82%;line-gap-override:0.00%;size-adjust:131.49%}.__className_d10312{font-family:jetbrainsMono,jetbrainsMono Fallback}.__variable_d10312{--font-mono:"jetbrainsMono","jetbrainsMono Fallback"}