Wahrscheinlich nach einem Windowsupdate (Windows 7 Pro 64 bit), das meinen Rechner neu gestartet hat, sieht mein Firefox (17.0) plötzlich anders aus: die Menüschrift ist kleiner und unschärfer geworden. Das fällt mir besonders ins Auge, weil ich in einer virtuellen XP-box (mit VirtualBox) noch den "alten" Look habe.
Wie kann ich Firefox wieder auf den alten größeren Stand zurückdrehen oder anpassen?