window.onload = function()
{
	if (document.getElementById)
	{
		var content = document.getElementById("content");


		var menu = document.getElementById("menu_items");

		if (content.offsetHeight > menu.offsetHeight)
		{
			document.getElementById("menu_items").style.height = content.offsetHeight - 30 + "px";
		}
	}
}