/* OurTime web fonts for pages whose text keeps changing (the blog: articles, /blog/, categories): only Archivo and
   JetBrains Mono, the same files and descriptors as fonts.css (their subsets hold every letter, digit and sign of
   ASCII, so any page can use them). The Japanese font of these pages, Zen Kaku Gothic New, comes from Google Fonts
   instead: the self-hosted one in fonts.css holds only the characters of the pages listed in tools/ourtime-fonts.py.
   Used by BlogShell.astro (held until the first paint like fonts.css; its "… Fallback" faces are in blog2026.css). */
@font-face { font-family: "Archivo"; font-style: normal; font-weight: 500 900; font-stretch: 62% 125%; font-display: swap; src: url(archivo.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 500 700; font-display: swap; src: url(jetbrains-mono.woff2) format("woff2"); }