window.onload = adjustNavigation
//Adjusts the vertical height of the left hand navigation,
//so white will follow the bottom corner insted of the color continuing.
function adjustNavigation(){
if (document["navigationSizer"]){
	// all but Macintosh Explorer
	divMainBodyHeight = (document.body.scrollHeight);
	//divMainBodyHeight = (document.getElementById('divMainBody').scrollHeight);
	divNavigationHeight = (document.getElementById('divNavigationLocal').scrollHeight);
	// Macintosh Explorer;
	if ((navigator.appVersion.indexOf("Mac")!=-1)&&(document.all)){
		divMainBodyHeight = (document.body.offsetHeight);
		//divMainBodyHeight = (document.getElementById('divMainBody').offsetHeight);
		divNavigationHeight = (document.getElementById('divNavigationLocal').offsetHeight);
		divHeaderHeight = (document.getElementById('divHeader').offsetHeight);
	}
	navigationSizerHeight = divMainBodyHeight-divNavigationHeight-165;
	if (navigationSizerHeight<1){navigationSizerHeight = 1}
	document["navigationSizer"].height=navigationSizerHeight;
}
}