Ho impostato Bitstream Vera anche nel set dei caratteri Gnome, lasciando Verdana per i titoli delle finestre e Monospace nell'ultimo tipo di carattere. Devo dire che Bitstream è molto più bello di Tahoma!!