The font picker UI was removed back on 2026-09-22, but the toggle plumbing
stayed around — Fraunces + DM Sans in the Google Fonts URL, the Fraunces/
DM Sans CSS variables, the html[data-font-cmp="ubuntu"] override block,
the .font-picker pill styles, and the .topnav .font-picker media-query
rule on mobile. All of that is dead weight when Ubuntu is the only font
that ever renders.
- Google Fonts URL slimmed to Ubuntu + JetBrains Mono (saves two font
families' worth of downloads on first paint).
- --serif variable gone; --sans is now Ubuntu, --mono still JetBrains.
- h1/h2/h3/h4 use --sans (Ubuntu bold reads clean at display sizes; no
need for a serif split).
- Removed the full font-picker CSS block and every html[data-font-cmp=
"ubuntu"] rule from both home and docs — the attribute is a no-op now.
- Footer brand switched from --serif to --sans with a 600 weight so it
still carries editorial weight without the Fraunces load.
- js/theme.js kept as a no-op (both pages still <script src> it); its
attribute setter was dropped. Safe to remove the script tag later;
leaving it means pages that aren't touched this pass stay valid.
Same cleanup Sirius.X got last month, applied to Hephaestus for family
consistency.
dece32eef2