// Alter the height of the HTML/body if they're smaller.  Ugly, but there
// is no other way to stretch an element to the size of the viewport when
// rendering strictly.
window.onload = checkbodysize;
window.onresize = checkbodysize;

function checkbodysize() {
	var windowHeight=0;
	if (typeof(window.innerHeight)=='number') {
		windowHeight = window.innerHeight;
	} else {
		if (document.documentElement && document.documentElement.clientHeight) {
			windowHeight = document.documentElement.clientHeight;
		} else {
			if (document.body && document.body.clientHeight) {
				windowHeight = document.body.clientHeight;
			}
		}
	}
	if (windowHeight) {
		if (document.getElementById('pagebg').offsetHeight < windowHeight) document.getElementById('pagebg').style.height = windowHeight + 'px';
	}
}