/* Inter (SIL Open Font License 1.1), servito da scribeo.it.
   Prima veniva caricato da fonts.googleapis.com: significava che il browser di
   chi legge una nota condivisa faceva una richiesta ai server di Google, che ne
   vedeva l'indirizzo IP. Cifriamo le note end-to-end: non ha senso presentare
   il lettore a un terzo. Da qui in poi il sito non fa NESSUNA richiesta esterna.
   File variabile: lo stesso woff2 copre tutti i pesi da 100 a 900. */

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('/fonts/inter-latin-ext.woff2') format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('/fonts/inter-latin.woff2') format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}