/* Inter, hosted here rather than loaded from Google Fonts: one variable
   file (every weight, 100-900) with the Latin characters, preloaded by each
   page. optional rather than swap: a font that's ready within the first
   moment (from cache, after the first visit) is used from the very first
   frame, and one that isn't leaves that page in the fallback font instead
   of swapping mid-view, which is what flashed on every tab switch. */
@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 100 900;
  font-display: optional;
  src: url("../fonts/inter-latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

:root {
  --squircle-scale: 1;
  /* The tab bar's height, which the full-height pages subtract. */
  --tab-bar-h: 50px;
}

/* Feature-detected rather than browser-sniffed: radii only scale up where
   corner-shape: squircle actually renders. */
@supports (corner-shape: squircle) {
  :root {
    --squircle-scale: 2;
  }
}

:root {
  --fw-class-name: 500;
  --fw-grade-value: 600;
  --fw-grade-breakdown: 400;
  --fw-breakdown-value: 400;
  --fw-assessment-label: 500;

  --color-hover-overlay: color-mix(in srgb, var(--color-gray-light) 50%, transparent);
}