Hola:
Creo que la respuesta hay que matizarla... documentElement se corresponde con el tag html, pero explorer devuelve 0, aunque tenga otro tamaño.
En otros mensajes he visto que en explorer se considera la altura del cuerpo más su scroll (document.body.offsetHeight + document.body.scrollHeight)
Tendríamos que saber si importa solo lo visible o si hay que considerar el scroll
Para obtener referencias puedes ver esta página:
Objetor... es una especie de actualización de otra página que muestra objetos y atributos...
Prueba desplegando el documentElement y el body (dependen de window.document)
BonRouge: Recuerdo algún mensaje donde coincidí contigo, y suponía que usarías un avatar así
Saludos