/* The site's fonts, all served by us, never by a third party: Geist and Geist Mono from the geist package
   (/fonts → node_modules/geist/dist/fonts, server.js), Instrument Serif from public/fonts/instrument-serif (SIL Open
   Font License 1.1, OFL.txt beside it; WOFF2 made from google/fonts ofl/instrumentserif, every glyph kept).
   The GIF recording page inlines these files (lib/animated.js) and the custom-design frame links this sheet (custom.js). */
@font-face { font-family: "Geist"; src: url("/fonts/geist-sans/Geist-Variable.woff2") format("woff2"); font-weight: 100 900; font-style: normal; font-display: swap; }
@font-face { font-family: "Geist Mono"; src: url("/fonts/geist-mono/GeistMono-Variable.woff2") format("woff2"); font-weight: 100 900; font-style: normal; font-display: swap; }
@font-face { font-family: "Instrument Serif"; src: url("/fonts/instrument-serif/InstrumentSerif-Regular.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Instrument Serif"; src: url("/fonts/instrument-serif/InstrumentSerif-Italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }