Das Problem habe ich eigentlich auch schon erkannt: der IE ignoriert die height-Angabe auf den div-Boxen.
auf welche Weise?
Durch diverse Versuche habe ich herausbekommen, dass die Box immer mindestens 19 Pixel hoch ist. Bei der Angabe größerer Werte wird die Box korrekt erweitert - bei Werten von 18px und niedriger wird die Angabe ignoriert.