@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400;font-display:optional;src:url(/assets/fonts/jetbrains-mono-400-normal-mono-ad3bb609.woff2) format('truetype');}@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:500;font-display:optional;src:url(/assets/fonts/jetbrains-mono-500-normal-mono-101875fa.woff2) format('truetype');}@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:600;font-display:optional;src:url(/assets/fonts/jetbrains-mono-600-normal-mono-9612866e.woff2) format('truetype');}@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:700;font-display:optional;src:url(/assets/fonts/jetbrains-mono-700-normal-mono-aa8a52e5.woff2) format('truetype');}