// Holds a list of all the menus open.
var menuTreeList = new Array();

function ShowMenus(list)
{
	var e;
	var ids = list.split(",");

	for (var i = 0; i < ids.length; i++)
	{
		e = document.getElementById(ids[i]);
		e.style.visibility = "visible";
		menuTreeList[i] = e;
	}
}

function HideMenus()
{
	for (var i = 0; i < menuTreeList.length; i++)
		menuTreeList[i].style.visibility = "hidden";

	// Drop the last element in the array.
	menuTreeList = [];
}

function Highlight(e)
{
	e.style.backgroundColor = "#efefef";
}

function Lowlight(e)
{
	e.style.backgroundColor = "#ffcc33";
}
