<!--
function menuHoverToggle(e, hilite) {
	e.style.backgroundColor = hilite ? '#267BC1' : '#463078';
}
//-->