On Wednesday 26 September 2001 13:39, matteoianeselli@xxxxxxxxxxx wrote: > Per la serie "fatti poco noti", Mozilla permette di applicare un CSS > utente agli elementi della GUI (file userChrome.css) e un CSS utente > al contenuto della pagina (file userContent.css). [...] Erano mesi che cercavo di capire se era possibile cambiare i font dei menù di Mozilla... ;-) -- Ciao, Flavio Stanchina Trento - Italy "The best defense against logic is ignorance." -- PROSSIMA ASSEMBLEA: venerdi` 28 settembre 2001 20:30 a Madrano di Pergine. Per iscriversi (o disiscriversi), basta spedire un messaggio con SOGGETTO "subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxxxxxx