window.addEvent('domready', function() {
			$each($$('a.nav'),function(el) {
				el.addEvent('mouseenter', function() {
					el.highlight(el.getStyle('background-color'),'#002000');
				});
				el.addEvent('mouseleave', function() {
					el.highlight(el.getStyle('background-color'),'#008100');
				});	
			});
		});