@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("./jetbrains-mono-variable.woff2") format("woff2");
}

/* Arial-compatible fallback widths match Inter before its same-origin swap.
   Inter hhea metrics: 1984/-494/0 at 2048 UPM; scale 105.9% matches
   representative Cyrillic/Latin advance widths, independently of network speed. */
@font-face {
  font-family: "Inter Public Fallback";
  src: local("Arial"), local("Liberation Sans"), local("Nimbus Sans");
  size-adjust: 105.9%;
  ascent-override: 91.478%;
  descent-override: 22.777%;
  line-gap-override: 0%;
}

body[data-saas-public] {
  font-family: Inter, "Inter Public Fallback", -apple-system, BlinkMacSystemFont, sans-serif;
}