var content_height_min = 370;
var content_offset = 335;

function get(i)
{
	return document.getElementById(i)
}

function adjustMenuHeight()
{
	var content_height_current = get("content").clientHeight;
	
	if (content_height_current < content_height_min)
	{
		get("content").style.height = content_height_min + "px";
		get("menu-side").style.height = content_height_min + "px";
	}
	else
	{
		get("menu-side").style.height = content_height_current + "px";
	}
	
	
	/*alert("AAA:"+get("content").clientHeight+" BBB:"+get("menu-side").clientHeight);*/
	
}