@font-face{size-adjust:93%;font-family:jetbrainsMono;src:url(/_next/static/media/bb3ef058b751a6ad.p.woff2) format("woff2");font-display:swap;font-weight:100 800}.__className_9956b0{font-family:jetbrainsMono}.__variable_9956b0{--font-jetbrains-mono:"jetbrainsMono"}