function getDivHeight(div)
{
	var d = document.getElementById(div);
	var divHeight = 0;
	
	if(d.offsetHeight)
		divHeight = d.offsetHeight;
	else if(d.style.pixelHeight)
		divHeight = d.style.pixelHeight;

	return divHeight;
}

function fixContentHeight()
{
	var navHeight = getDivHeight('nav');
	var contentHeight = getDivHeight('content_container');

	if (contentHeight < navHeight)
		document.getElementById('content').style.height = navHeight + "px";		
}