// JavaScript Document
function setHeight () {
	// This receives the windows height (actual white space)
	if (window.innerHeight) {
		theHeight=window.innerHeight;
	}
	else if (document.documentElement && document.documentElement.clientHeight) {
		theHeight=document.documentElement.clientHeight;
	}
	else if (document.body) {
		theHeight=document.body.clientHeight;
	}
	divHeight = theHeight - 217;
	if (divHeight < 400) {
		divHeight = 400;
	}
	document.getElementById("navBar").style.height = divHeight + 'px';
}