[Risolto] Re: fonts e lenny

[Paolo Sala <piviul@riminilug.it>]

NN_il_Confusionario scrisse il 24/04/2008 17:48
> non so niente di gnome e quasi niente di mozilla, ma:
>
> * una questione di questo tipo appare ogni tanto nelle ml debian;
> forse ti conviene cercare gli archivi di debian-user (in inglese)
>   
Grazie mille come sempre, infatti ho cercato e trovato. A chi fosse
interessato ho risolto creando un file nella dir del profilo
chrome/userChrome.css contenente
* {
    font-size: 11pt !important;
    font-family: Verdana !important;
}


Per chi fosse interessato ad ulteriori opzioni:
http://kb.mozillazine.org/Pane_and_menu_fonts

Ciao e grazie ancora a tutti quanti

Piviul