/* THE SITE'S TYPE, DECLARED ONCE (29 October 2026). Every page the site draws asks here for its faces and its two families:
   the public pages through site.css, and the sign-in page, which has its own small layout but not its own type. The
   Persian face is declared by langsite.js (FA_FACE) and named for right-to-left pages by site-rtl.css (--sans, --mono).
   Fonts are served from this server, never from a third party. */
@font-face {
  font-family: 'Archivo Variable';
  font-style: normal;
  font-display: swap;
  font-weight: 100 900;
  font-stretch: 62% 125%;
  src: url('fonts/archivo-var.woff2') format('woff2-variations');
}
@font-face {
  font-family: 'Plex Mono';
  font-style: normal;
  font-display: swap;
  font-weight: 400;
  src: url('fonts/plex-mono-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Plex Mono';
  font-style: normal;
  font-display: swap;
  font-weight: 500;
  src: url('fonts/plex-mono-500.woff2') format('woff2');
}
:root {
  --sans: 'Archivo Variable', 'Archivo', system-ui, -apple-system, 'Segoe UI', Roboto, Arial, sans-serif;
  --mono: 'Plex Mono', ui-monospace, 'SF Mono', Menlo, Consolas, 'Liberation Mono', monospace;
}