/* JetBrains Mono 500 700: the home page's mono face, declared once; the home page links it. */
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:500 700;font-display:swap;src:url(/fonts/jetbrains-mono-500-700-latin.woff2) format('woff2');}