//

// 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';

	}

}