Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
thinker tool hab ich mir schon mal installiert, allerdings hab ich noch nichts für die *desktopschriftart* gefunden. in der entsprechenden .plist konnte ich auch nichts finden.
kann ja wohl bald nicht sein, das man die nicht ändern kann