Event.observe(document,"dom:loaded", function(){
	$("global_nav_misc").hide();
	$("global_nav_misc_button").observe("click",
		function(evt){
			$("global_nav_misc").toggle();
		}
	);
}, false);