/*
  Font del codice: Cascadia Mono, la variante senza legature di Cascadia Code (Microsoft).
  Licenza SIL Open Font License 1.1: testo completo in ../fonts/OFL.txt.

  ../fonts/cascadia-mono-2407-400.woff2 è una versione modificata ai sensi della OFL: un sottoinsieme di
  ttf/static/CascadiaMono-Regular.ttf (versione 2407.024) dallo zip della release v2407.24 di
  github.com/microsoft/cascadia-code. Fatto con fontTools 4.66 (pyftsubset): caratteri della
  unicode-range qui sotto, feature OpenType predefinite, hinting di ttfautohint mantenuto,
  tabelle name 0-6, 13 e 14. 252 glifi, circa 16 KB.
  Il nome interno resta "Cascadia Mono": il nome riservato dalla licenza è "Cascadia Code".
  U+2197 (↗) non è nel font: lo disegna il font successivo della pila.

  Il nome del file porta la versione (2407): l'URL nel CSS non ha l'impronta di MapStaticAssets, quindi la cache
  lunga (MentorAgentWeb.UI.csproj) è sicura solo se a ogni nuovo sottoinsieme cambia il nome.

  Pila consigliata: "Cascadia Mono", "Cascadia Mono Fallback", ui-monospace, Consolas, monospace.
  local() confronta il nome completo e quello PostScript: con Cascadia Mono installato (Windows 11 lo ha
  in C:\Windows\Fonts) il WOFF2 non si scarica, a meno che la pagina non lo precarichi.
*/
@font-face {
  font-family: "Cascadia Mono";
  src: local("Cascadia Mono"), local("Cascadia Mono Regular"), local("CascadiaMono-Regular"),
       url("../fonts/cascadia-mono-2407-400.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
  unicode-range: U+0020-007E, U+00A0-00FF, U+2013-2014, U+2018-2019, U+201C-201D, U+2026, U+20AC, U+2192;
}

/*
  Ripiego con le metriche di Cascadia Mono, usato finché il WOFF2 non è arrivato (font-display: swap).
  Consolas ha l'avanzamento a 1126/2048 em, Cascadia Mono a 1200/2048: size-adjust = 1200/1126 = 106,57%,
  così ogni carattere occupa la stessa larghezza e le righe non cambiano lunghezza allo scambio.
  Ascendente e discendente sono quelli di Cascadia Mono (1900 e 480 su 2048), divisi per size-adjust.
*/
@font-face {
  font-family: "Cascadia Mono Fallback";
  src: local("Consolas");
  font-weight: 400;
  font-style: normal;
  size-adjust: 106.57%;
  ascent-override: 87.05%;
  descent-override: 21.99%;
  line-gap-override: 0%;
}