getDocHeight.js: Cross-browser implementation of document.body.offsetHeight