window.addEvent('domready', function(){
    $('menu').getElements('.button').addEvent('mouseenter', function(event){
		event.target.highlight('#cccccc');
	});
});