Mir ist eben aufgefallen: Der IE stellt sich beim mouseOver immer auf die Skalierung ein, die beim Browserstart eingestellt war. Startet also jemand mit "Mittel" und ändert es auf "Sehr groß", so wechselt der Browser beim mouseOver zurück auf "Mittel". Startet er dagegen den Browser direkt mit "Sehr groß", so gibt es den Effekt nicht: Der IE setzt den Font dann immer auf "Sehr groß" skaliert. Wird während der Sitzung dann auf "Mittel" zurück gestellt, so skaliert der Browser den mouseOver auf "Sehr groß".
Das ist zwar keine Lösung, aber zumindest eine Einschränkung, denn das Problem tritt nur auf, wenn
1. Jemand nach dem Klick das Menu weiter durchstreift, wobei es etwa 1-3 Sekunden dauert, bis die neue Seite erscheint.
2. Jemand während der Sitzung die Schriftartgröße ändert.
Evt. treten diese Bedingungen so selten auf, dass der Kunde den Fehler nicht weiter verfolgen will. Ich werde das heute nachmittag besprechen.