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);
	var offColorHex = "#234668";
	var offColorRGB = "rgb(35, 70, 104)";
	var onColorHex  = "#862015";			// old: #0065ca
	var onColorRGB  = "rgb(134, 32, 21)";	// old: rgb(0, 101, 202)
	
	if(element.style.backgroundColor == offColorHex)
		element.style.backgroundColor = onColorHex;
	else if(element.style.backgroundColor == onColorHex)
		element.style.backgroundColor = offColorHex;
	else if(element.style.backgroundColor == offColorRGB)
		element.style.backgroundColor = onColorRGB;
	else if(element.style.backgroundColor == onColorRGB)
		element.style.backgroundColor = offColorRGB;
}