Mentre è possibile regolare le dimensioni dei caratteri della pagina Web visualizzata da Firefox tramite lo Zoom, o tenendo premuto il tasto Ctrl e girando la rotellina del mouse, i caratteri delle scritte nella barra dei menu rimangono fissi e per chi non è datato di una vista perfetta potrebbe essere un problema. La soluzione è una modifica ad un valore che si raggiunge tramite about:config
e l’accettazione del rischio quando richiesto.
Cercate ora la voce layout.css.devPixelsPerPx
di default ha valore -1.0
Per cambiare la grandezza dei caratteri dovete modificare il valore inserendo 1.1, senza segno meno davanti, e andando a crescere sino a trovare la dimensione più adatta per voi, per il vostro monitor e per i vostri occhi.
Se volete ripristinare la dimensione iniziale non dovete fare altro che rimettere il valore iniziale di -1.0. Grazie a Next per avermi fatto conoscere questo “trucchetto”.