var timeoutvar, activediv;
activediv = "";

function hideAll() {
	document.getElementById("nav_flavors").style.display = "none";
	document.getElementById("nav_drinktypes").style.display = "none";
	activediv = "";
}

function disengage() {
	timeoutvar = setTimeout("hideAll()", 2000);
}

function engage(toplevel) {
	toplevel = "nav_" + toplevel;
	clearTimeout(timeoutvar);
	if (toplevel != activediv) {
		hideAll();
		document.getElementById(toplevel).style.display = "block";
		activediv = toplevel;
	}
}