/* Self-hosted, latin subset. One face, because the product now sets
   everything in it.

   There was a display serif until 24 Aug — Newsreader, then Source Serif 4 at
   600 from 21 Aug, chosen off what Harvey and Rogo run. Tommaso: "I'd prefer
   to only keep the sans serif font", first for the landing page and then for
   the rest of it. So the `--serif` token, both `font-family` fallback chains
   and the 122 kB variable font are gone rather than left loading for nothing:
   an unused @font-face is not free, it is a file the browser fetches the first
   time any rule mentions the family, and a token nothing reads is a thing the
   next person has to check before deleting.

   If a serif ever comes back, the history is in `git log -S "Source Serif 4"`
   and Fede's argument for one is in `log/2026-08-21-the-hero-was-never-the-problem.md`. */

@font-face { font-family: "Instrument Sans"; src: url("/static/fonts/instrumentsans-var.woff2") format("woff2-variations");
             font-weight: 400 600; font-style: normal; font-display: swap; }