[Linuxtrent] Re: [Linuxtrent] Re: Dimensione caratteri Menù Mozilla
- From: Flavio Stanchina <flavio@xxxxxxxxxxxxx>
- To: Gino Zancarli <ginoza@xxxxxxxxxxxxx>
- Date: Fri, 27 Aug 2004 11:51:32 +0200
Gino Zancarli wrote:
Vorrei sapere, quale principiante
sono, in modo semplice e chiaro quali passaggi devo fare per ottenere
il risultato di aumentare i caratteri del Menù in Mozilla. [...]
Devi creare il file "userChrome.css" nella directory indicata e
scriverci dentro quelle quattro righe per scegliere il font e la
dimensione. Naturalmente puoi adattare entrambi a piacere finché non
ottieni un risultato soddisfacente.
Puoi usare questo comando (da digitare tutto su una riga):
echo > ~/.mozilla/default/*/chrome/userChrome.css '* { font-family:
Verdana !important; font-size: 9pt !important; }'
Sono piuttosto stupito che quelli di Mozilla non abbiano ancora aggiunto
una finestrina nelle preferenze per modificare quei parametri...
--
Ciao, Flavio
--
Per iscriversi (o disiscriversi), basta spedire un messaggio con OGGETTO
"subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx
Other related posts: