function showMenu(name)
{
	document.getElementById(name).style.display = "inline";
}

function hideMenu(name)
{
	document.getElementById(name).style.display = "none";
}

// Firefox stores backgroundColor as RGB and IE in hexidecimal, so have to check for both. IE stores letters in lowercase.
function changeBackgroundColor(name)
{
	var element = document.getElementById(name);

	if(element.style.backgroundColor == "#003366")
		element.style.backgroundColor = "#0065ca";
	else if(element.style.backgroundColor == "#0065ca")
		element.style.backgroundColor = "#003366";
	else if(element.style.backgroundColor == "rgb(0, 51, 102)")
		element.style.backgroundColor = "rgb(0, 101, 202)";
	else if(element.style.backgroundColor == "rgb(0, 101, 202)")
		element.style.backgroundColor = "rgb(0, 51, 102)";
}