/* Self-hosted variable fonts (latin subset), vendored by scripts/fetch_assets.py */
@font-face{font-family:'Plus Jakarta Sans';font-style:normal;font-weight:400 800;font-display:swap;src:url('/static/fonts/PlusJakartaSans.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')}