Eigentlich dachte ich (und es hat auch bisher immer so funktioniert), dass besagte Werte die tatsächliche Höhe des Dokuments liefern, also auch den nicht sichtbaren Bereich.
Nein, das tun sie nicht, wenn im Element gescrollt wird. Du suchst eher document.body.scrollHeight, das gibt die Höhe des scrollbaren Bereichs wieder.
http://www.quirksmode.org/dom/w3c_cssom.html#elementview
http://www.quirksmode.org/dom/tests/elementdimensions.html
Mathias