// *** Menu styling ***

// function to highlight a menu title
function HoverMenuTitle(item)
{
	item.style.cursor = "pointer";
	item.style.background = "#555588";
}

// function to lowlight a menu title
function UnHoverMenuTitle(item)
{
	item.style.background = "#ADADAD";
}

// function to highlight a menu item
function HoverMenuItem(item)
{
	item.style.cursor = "pointer";
	item.style.color = "#FFFFFF";
	item.style.background = "#555588";
}

// function to lowlight a menu item
function UnHoverMenuItem(item)
{
	item.style.color = "#000000";
	item.style.background = "";
}

// function to highlight a submenu item
function HoverMenuBack(item)
{
	item.style.cursor = "pointer";
	item.style.color = "#FFFFFF";
	item.style.background = "#888888";
}

// function to lowlight a submenu item
function UnHoverMenuBack(item)
{
	item.style.color = "#888888";
	item.style.background = "";
}


// *** Navigation ***


// function to navigate the current page to url
function GoTo(url)
{
	alert(url);
	document.location = url;
}

// function to open url in new window
function OpenPage(url)
{
	alert(url);
	window.open(url);
}