So, irgendwie hat sich das Problem jetzt von selbst gelöst. Bin irritiert.
Es scheint fast so, als wenn der IE eine Zeit gebraucht hat, die neue Version der css-Datei zu erkennen?!?
Verstehen tu ich's nicht, aber jetzt nehmen beide Browser die Formatierung.
Danke euch,
Matthias