/* Ravn website font subsets, captured 2026-09-15. See DESIGN.md. */
@font-face { font-family: "Inter"; font-style: normal; font-weight: 100 900;
  font-display: swap; src: url("Inter-variable.woff2") format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 100 800;
  font-display: swap; src: url("JetBrainsMono-variable.woff2") format("woff2"); }