/* Inter — self-hosted (vendored 2026-06-30), trimmed from rsms.me/inter/inter.css.
   We ship ONLY the variable font (one file covers weights 100–900), which is all
   this app needs — style.css requests `font-family: "Inter"` and the site runs on
   modern Chrome. The `Inter`, `InterVariable`, and legacy `Inter var` family names
   all resolve to the same variable woff2, so any of them renders correctly.
   Self-hosting removes rsms.me from the page's trust path + CSP and works offline
   (air-gapped VM). To refresh: re-download font-files/InterVariable*.woff2 from
   https://rsms.me/inter/font-files/ . */
@font-face {
  font-family: Inter;
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('font-files/InterVariable.woff2') format('woff2');
}
@font-face {
  font-family: Inter;
  font-style: italic;
  font-weight: 100 900;
  font-display: swap;
  src: url('font-files/InterVariable-Italic.woff2') format('woff2');
}
/* Aliases so call sites using the variable-specific names also work. */
@font-face {
  font-family: InterVariable;
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('font-files/InterVariable.woff2') format('woff2');
}
@font-face {
  font-family: InterVariable;
  font-style: italic;
  font-weight: 100 900;
  font-display: swap;
  src: url('font-files/InterVariable-Italic.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter var';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('font-files/InterVariable.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter var';
  font-style: italic;
  font-weight: 100 900;
  font-display: swap;
  src: url('font-files/InterVariable-Italic.woff2') format('woff2');
}