ridimensionare i fonts dell’interfaccia di Thunderbird

A me è capitato che su Linux i fonts dell’interfaccia di TB fossero troppo grossi.
Soluzione:
1) creare, se non esiste, la cartella chrome nella cartella del profilo di TB
2) creare, all’interno di tale cartella, il foglio di stile “userChrome.css”
3) inserire in tale file le seguenti istruzioni:
/* Global UI font */
* { font-size: 10pt !important;
  font-family: Verdana !important;
}