/* Functions for mouseover menus */

function changeMenu (element) {
	document.getElementById (element).bgColor = "#708090";
	document.getElementById (element + "a").style.color = "white";
}
function returnMenu (element) {
	document.getElementById (element).bgColor = "#DCDCDC";
	document.getElementById (element + "a").style.color = "black";
}

function hideMenu (element) {
	document.getElementById (element).style.visibility = "hidden";
}
function showMenu (element) {
	document.getElementById (element).style.visibility = "visible";
}