Per risolvere il problema, è necessario aprire la cartella del proprio profilo di Default di Icedove (solitamente ~/.mozilla-thunderbird/<nome_profilo>). Siccome ci sono diverse sottocartelle, per sapere qual'è quella del profilo attualmente in uso, aprire il file che trovate profile.ini, e trovate alla voce "Path" il nome del profilo in uso. Quindi, aprite la cartella del vostro profilo, e create la sottocartella chrome se ancora non esiste.
Aprite la sottocartella, e create il file userChrome.css e inserite:
- Codice: Seleziona tutto
/* Global UI font */
* { font-size: 11pt !important;
font-family: Verdana !important;
}
Chiaramente potete cambiare carattere e impostazioni del font a vostro piacere e il tip è valido anche per i browsers