/* Self-hosted variable fonts (latin). No external request, no system fallback flash. */
@font-face{font-family:'Inter';font-style:normal;font-weight:400 700;font-display:swap;src:url('/static/fonts/Inter.woff2') format('woff2')}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 700;font-display:swap;src:url('/static/fonts/JetBrainsMono.woff2') format('woff2')}