//Document onLoad handler
function handleDocumentLoad(){
	enforceLayout();
}


function handleDocumentResize(){
	enforceLayout();
}

//correct all divs vertical heights
function enforceLayout(){
	var uheight=0;
	
	var htmlheight = document.body.scrollHeight; 
	var windowheight = window.innerHeight;
	
	var htmlheight2 = document.body.parentNode.scrollHeight; 
	if(htmlheight2>htmlheight){
		htmlheight=htmlheight2;
	}
	
	if(isNaN(windowheight) || htmlheight>windowheight){
		uheight=htmlheight;
	}else{
		uheight=windowheight;
	}
	
	var fheight=uheight-372;
	document.getElementById("navdiv").style.height=(fheight)+"px";
}