Hab ne andere Lösung gefunden, mit document.documentElement.clientHeight geht's im IE.
Und in meinem body-Element ist halt noch nix drin, wenn ich die Angabe haben will. Dann würde auch der Außenabstand des HTML-Elements nicht viel bringen. Dieses body.offsetHeight gibt halt immer ein 0 oder sogar ein undefined zurück. Aber mit clientHeight geht's. Trotzdem danke.