/* Self-hosted fonts (2026-07-31). Body = native system stack; mono accents below. */
@font-face { font-family:'JetBrains Mono'; font-style:normal; font-weight:400; font-display:swap; src:url(/fonts/jetbrains-mono-400.woff2) format('woff2'); }
@font-face { font-family:'JetBrains Mono'; font-style:normal; font-weight:500; font-display:swap; src:url(/fonts/jetbrains-mono-500.woff2) format('woff2'); }