::
Visto che hai la mia stessa distribuzione ti chiederei un favore… Prova ricompilare e visualizzare una decina di volte. Viene sempre il risultato corretto?
È quasi certamente un problema nella cache dei font, succede. Hai provato un bel logout-login?
Ciao
Enrico
