// Highlights current menu item
	loc = document.getElementsByTagName("body")[0].id;
	document.getElementById("nav-" + loc).childNodes[0].attributes[0].nodeValue = "current-menu-item";