Ciao a tutti, Molti di voi probabilmente lo sapranno gia', ma il problema dei fonts grossi si risolve invertendo nel font path l'ordine tra i fonts a 100 e quelli a 75 dpi, mettendo per primi questi ultimi. Ciao! -- Non usate Linux: potrebbe capitarvi di imparare qualcosa.