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

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

:root {
  --font-dejavu-mono-specimen: "DejaVu Mono specimen", "DejaVu Mono specimen fallback", monospace;
}

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