// Used for the mouse-over effect on the main menu.

function updateIdClass (id, cls)
{
	document.getElementById(id).className = cls;
}

// Auto resize the height of the window to have the footer extend to the bottom.

function setDivHeight (src_id, dest_id)
{
	var footer_height = 62;
	try
	{
		var src_height = document.getElementById(src_id).offsetHeight;
		var win_height = document.body.offsetHeight;
		var new_height = (win_height - (src_height + footer_height));
		document.getElementById(dest_id).style.height = new_height + "px";
	}
	catch (e) {}
}

function toggleIdDisplay (id)
{
	el = document.getElementById(id);
	if (el.style.display == "block")
	{
		el.style.display = "none";
	}
	else
	{
		el.style.display = "block";
	}
}