@font-face{font-family:"JetBrains Mono";font-style:normal;font-weight:400;font-display:swap;src:url("/static/fonts/jetbrains-mono-400.woff2?v=1") format("woff2")}@font-face{font-family:"JetBrains Mono";font-style:normal;font-weight:700;font-display:swap;src:url("/static/fonts/jetbrains-mono-700.woff2?v=1") format("woff2")}