function initMenu() {
	if ($('menu')) {
		Event.observe('menu', 'mouseover', menuActive, false);	
		Event.observe('menu', 'mouseout', menuInactive, false);
	}
}

function menuActive(e) {
	Element.addClassName('menuButton', 'hover');
	var menuItems = $('menu').getElementsByTagName('div')[0];
	Element.show(menuItems);
}

function menuInactive(e) {
	Element.removeClassName('menuButton', 'hover');
	var menuItems = $('menu').getElementsByTagName('div')[0];
	Element.hide(menuItems);
}