/*Navigation Menu*/
var menus = new Array('mabout', 'mfeatures', 'mexhibits', 'mlayout', 'mlocation');
var menutimer = null;

function starttimer() {
	menutimer = setTimeout("hidemenu()", 200);
}

function resettimer() {
	if (menutimer) clearTimeout(menutimer);
	menutimer = null;
}

function menuin(id) {
	hidemenu(id);
	document.getElementById(id).style.display='block';
}

function menuout(id) {
	starttimer();
}

function hidemenu(except) {
	resettimer();
	for (i=0; i<menus.length; i++) {
		if (menus[i] != except) document.getElementById(menus[i]).style.display='none';
	}
}
