Ezt én úgy oldottam meg, hogy egyszerűen a firefoxban 13-as betűket adtam meg és így olvasható minden. Érdekes, hogy a GTK-s alkalmazásokban a 12-es méret még nagyobb is egy picivel mint firefoxban, de ez van. -> Ez volt akkor amikor e17-ről nyomtam, de nemrég áttértem gnome-ra és ez a probléma megszűnt (ki tudja miért), a betűk jók 12-es méretre állítva is.