<!--
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 > contentH){
		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';
}

-->