/* =====================================================================
   I FONT DEL SITO, OSPITATI QUI

   Prima arrivavano da fonts.googleapis.com. Il problema non era la
   velocita': era che ogni visitatore, prima ancora di vedere la
   pagina, mandava il proprio indirizzo IP a Google negli Stati Uniti,
   senza averlo chiesto e senza saperlo. Nel 2022 il tribunale di
   Monaco ha condannato un sito esattamente per questo.

   Adesso i font stanno su questo server. Dal sito non esce piu' nulla
   verso nessuno, e i Termini possono dirlo senza girarci intorno.

   Sono font variabili: un solo file copre tutti i pesi, dal chiaro al
   nerissimo. Il CSS delle pagine li usa con font-variation-settings.
   Sono ridotti all'alfabeto latino e alla punteggiatura tecnica che
   il sito usa davvero: 120 KB in tutto invece di 850.

   Licenze: Archivo (Omnibus-Type), Public Sans (USWDS) e Azeret Mono
   (Displaay) sono tutti sotto SIL Open Font License 1.1, che permette
   di ospitarli cosi'.
   ===================================================================== */

@font-face {
  font-family: 'Archivo';
  src: url('archivo.woff2') format('woff2-variations'),
       url('archivo.woff2') format('woff2');
  font-weight: 100 900;
  font-stretch: 62% 125%;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'Public Sans';
  src: url('public-sans.woff2') format('woff2-variations'),
       url('public-sans.woff2') format('woff2');
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'Azeret Mono';
  src: url('azeret-mono.woff2') format('woff2-variations'),
       url('azeret-mono.woff2') format('woff2');
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}