/* DejaVu Sans: resolved by unifont from the `fontsource` provider.
 * https://unifont.dev/fonts/DejaVu%20Sans
 */

/* latin */
@font-face {
  font-family: "DejaVu Sans specimen";
  src: url("https://cdn.jsdelivr.net/fontsource/fonts/dejavu-sans@latest/latin-400-normal.woff2") format("woff2");
  font-display: swap;
  font-weight: 400;
  font-style: normal;
}

:root {
  --font-dejavu-sans-specimen: "DejaVu Sans specimen", "DejaVu Sans specimen fallback", sans-serif;
}

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