Guten Tag nochmal!
mit ein bissschen überlegen gings dann doch:
Den IE im standardkonformen Modus arbeiten lassen und statt
document.body.clientHeight
document.documentElement.clientHeight
eigesetzt.
Und siehe da: es funktioniert (ausser, dass das CSS noch am ende steht)
Danke für die Tipps!
bis zum nächsten Mal
Justus