<!--
function largestMinDivSize(){
	var leftH = document.getElementById('leftMenu').offsetHeight;
	var contentH = document.getElementById('content').offsetHeight;
	var rightH = document.getElementById('rightMenu').offsetHeight;
	
	var maxH = leftH;	
	if(contentH > leftH){
		maxH = contentH;
	}
	
	if(rightH > maxH){
		maxH = rightH;
	}	

	document.getElementById('leftMenu').style.height = maxH + 'px'; // Set div height to window height
	document.getElementById('content').style.height = maxH + 'px';
	document.getElementById('rightMenu').style.height = maxH + 'px';
}

-->