// This script sets our div heights - at load time.

var wh = getWindowHeight();				// get client screen height
var d = document.getElementById('container');		// set our container's height
d.style.height = (wh - 44) + 'px';
var d = document.getElementById('main');		// set 'main' height
d.style.height = (wh - 204) + 'px';
var d = document.getElementById('main_left');		// set 'main_left' height
d.style.height = (wh - 204) + 'px';
var d = document.getElementById('main_right');		// set 'main_right' height
d.style.height = (wh - 214) + 'px';


// This function gets the client's window height...
function getWindowHeight() {
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;
}
}
}
return windowHeight;
}