/* ⭐ IL MONOSPAZIATO DELLA PAGINA, SERVITO DA NOI. Prima era lo stack di SISTEMA, e su Windows il font che vediamo noi non c'e':
   la stessa pagina veniva con un'altra faccia e con altre larghezze — su un monospaziato si nota, perche' quel che si incolonna smette
   di incolonnarsi.

   ⭐ JetBrains Mono, sottoinsieme LATINO, due pesi ( 400 e 600, che sono i due che la pagina usa ). E' il font della pagina di
   riferimento da cui viene questa veste, che pero' lo prendeva da GOOGLE.

   ⛔ Qui no, come per tutti gli altri ( `res/css/fonts.css` ): un `<link>` a `fonts.googleapis.com` e' l'IP del visitatore che se ne
   va prima ancora che la pagina si disegni. I file stanno in `res/fonts/`, accanto agli altri, e si pubblicano come tutto il resto —
   `service.php` accetta `woff2` dal 2026-08-22, e `deploy.sh` li manda da se' sul canale multipart.

   Licenza SIL Open Font 1.1, che permette di ridistribuirlo: il testo sta accanto ai file, in `res/fonts/jetbrains-mono-OFL.txt`.

       Copyright 2020 The JetBrains Mono Project Authors
       ( https://github.com/JetBrains/JetBrainsMono ) — SIL Open Font License 1.1

   ⚠️ Sta in un file SUO e non in `res/css/fonts.css`: quello lo carica tutta l'app, e questo font lo usa il solo editor del binario. */

@font-face
{
    font-family: 'JetBrains Mono';
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url(../fonts/jetbrains-mono-latin-normal.woff2) format('woff2');
}

@font-face
{
    font-family: 'JetBrains Mono';
    font-style: normal;
    font-weight: 600;
    font-display: swap;
    src: url(../fonts/jetbrains-mono-latin-semibold.woff2) format('woff2');
}