/* Noto Sans Math: resolved by unifont from the `google` provider.
 * https://unifont.dev/fonts/Noto%20Sans%20Math
 */

@font-face {
  font-family: "Noto Sans Math specimen";
  src: url("https://fonts.gstatic.com/l/font?kit=7Aump_cpkSecTWaHRlH2hyV5UHkD-Vs48d-r5latlwNKMbwcd3Y5jUwewVid-OB3OVgMmzPugbBM&skey=27a26f5b3f2d5ea1&v=v19") format("woff2");
  font-display: swap;
  font-weight: 400;
  font-style: normal;
}

:root {
  --font-noto-sans-math-specimen: "Noto Sans Math specimen", "Noto Sans Math specimen fallback", sans-serif;
}

/* Metric-matched fallback, so text does not reflow when the real font lands. */
@font-face {
  font-family: "Noto Sans Math specimen fallback";
  src: local("Arial"), local("Arimo"), local("Liberation Sans"), local("DejaVu Sans"), local("Helvetica");
  size-adjust: 100%;
  ascent-override: 97%;
  descent-override: 21%;
  line-gap-override: 0%;
}