/* Self-hosted webfonts (subset) — no external CDN, China-accessible.
   Generated; do not hand-edit. Re-run _fetch-fonts.mjs to regenerate. */
@font-face{font-family:'Archivo';font-style:normal;font-weight:400 900;font-display:swap;src:url(../fonts/archivo-var.woff2) format('woff2');}
@font-face{font-family:'Space Mono';font-style:normal;font-weight:400;font-display:swap;src:url(../fonts/spacemono-400.woff2) format('woff2');}
@font-face{font-family:'Space Mono';font-style:normal;font-weight:700;font-display:swap;src:url(../fonts/spacemono-700.woff2) format('woff2');}
@font-face{font-family:'Noto Sans SC';font-style:normal;font-weight:300 900;font-display:swap;src:url(../fonts/notosanssc-var.woff2) format('woff2');}