/* I caratteri stanno nel pacchetto, non li chiediamo a Google.
   Prima arrivavano da fonts.gstatic.com: significa che il telefono
   di chiunque aprisse l'app contattava un server di Google — e gli
   lasciava il proprio indirizzo IP — prima ancora di aver letto una
   riga dell'informativa. Serviti da qui il problema non esiste, e
   l'app parte pure più in fretta: niente secondo dominio da
   risolvere prima di poter disegnare del testo.

   Plus Jakarta Sans è un file solo: è un font variabile, contiene
   tutti i pesi da 200 a 800 in 27 kB. IBM Plex Mono variabile non
   esiste, quindi di quello ci sono i tre pesi che l'app usa davvero.
   Entrambi sotto SIL Open Font License 1.1 — copia in font/LICENSE.txt. */
@font-face{
  font-family:'Plus Jakarta Sans';
  font-style:normal; font-weight:200 800; font-display:swap;
  src:url(../../font/jakarta-var.woff2) format('woff2-variations');
}
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:400;font-display:swap;
  src:url(../../font/plexmono-400.woff2) format('woff2')}
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:500;font-display:swap;
  src:url(../../font/plexmono-500.woff2) format('woff2')}
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:600;font-display:swap;
  src:url(../../font/plexmono-600.woff2) format('woff2')}