/* Changes the menu buttons on hover */
 /* IN: menu_button = the selector of the button */
 $(document).ready(function(){
	
	$(".onHover").hover(
		function () {
			$(this).css(on_hover_property,on_hover_value);
		}, 

		function () {
			$(this).css(on_hover_property,"none");
		}
	);
 
 });