@font-face{font-family:jetbrains mono;src:url(/font/JetBrainsMono-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:jetbrains mono;src:url(/font/JetBrainsMono-Italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:jetbrains mono;src:url(/font/JetBrainsMono-Bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:jetbrains mono;src:url(/font/JetBrainsMono-BoldItalic.woff2)format("woff2");font-weight:700;font-style:italic;font-display:swap}