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

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

:root {
  --font-league-mono: "League Mono", "League Mono fallback", monospace;
}

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