function hover() {
	var element = event.srcElement;
	element.className += " hovered";
}

function unhover() {
	var element = event.srcElement;
	element.className = element.className.toString().replace(" hovered", "");
}

window.onload = function() {
	var rolloverIds = ["menu-about", "menu-visiting", "menu-events", "menu-images", "menu-education", "menu-projects"];
	
	for (var id in rolloverIds) {
		var element = window.document.getElementById(rolloverIds[id]);
		element.onmouseenter = hover;
		element.onmouseleave = unhover;
	}
}