//
// Adjust mainBody DIV height if leftNav is larger
//
function resizeMainBody(){
	var leftNavHeight=document.getElementById('leftNav').offsetHeight;
	var mainBodyHeight=document.getElementById('mainBody').offsetHeight;
	if(leftNavHeight+40 > mainBodyHeight){
		document.getElementById('mainBody').style.height = eval(leftNavHeight+40) + 'px';
	}
}