// JavaScript Document

function adjustDivHeight(){
	
	objMenuDiv = document.getElementById('menu');
	objContentDiv = document.getElementById('content');
	
	if(objContentDiv.offsetHeight < objMenuDiv.offsetHeight){
		
		if(typeof document.body.style.maxHeight == "undefined") objContentDiv.style.height = objMenuDiv.offsetHeight - 30 + 'px';
		else objContentDiv.style.height = objMenuDiv.offsetHeight + 'px';
	}
	else {
		objMenuDiv.style.height = objContentDiv.offsetHeight + 'px';
	}
}