/* 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";
}