/* Self-hosted fonts — replaces Google Fonts (removes a third-party origin from every page and
   the GDPR concern of leaking visitor IPs to Google). Variable fonts, latin subset (covers FR/EN),
   font-display:swap. */
@font-face{font-family:'Plus Jakarta Sans';font-style:normal;font-weight:300 600;font-display:swap;src:url('fonts/plus-jakarta-sans.woff2') format('woff2');}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 500;font-display:swap;src:url('fonts/jetbrains-mono.woff2') format('woff2');}