/* Menu showing */

function hideMenu(element) {
	if (element != null) {
		document.getElementById(element).style.visibility='hidden';
	//	alert("Hide: "+element);
	}
}
function showMenu(element) {
	if (element != null) {
		document.getElementById(element).style.visibility='visible';
	}
}

/* Highlighting */
function darkenMenu(element) {
	element.style.background="#000000";
}

function lightenMenu(element) {
	element.style.background="#999999";
}

function darkenTitle(element) {
	element.style.color="#000000";
}

function lightenTitle(element) {
	element.style.color="#999999";
}