Dai font gtk (per esempio tramite il tool di controllo di Gnome, o direttamente sul file .gtkrc nella tua home).2) come posso regolare la grandezza dei font del menu di Mozilla? Ora sono talmente grandi che la cartella delle preferenze mi occupa tutto lo schermo!Grazie x le rispostre! Giulio F.
Walter -- God hates us all Per favore non mandatemi allegati in Word o PowerPoint.Si veda http://www.fsf.org/philosophy/no-word-attachments.html