
hider = "";

function showNav() {
	if (hider) clearTimeout(hider);
	document.getElementById("bandlist").className = "show";
}

function hideNav() {
	if (hider) clearTimeout(hider);
	document.getElementById("bandlist").className = "hide";
}

function startHideNav() {
	hider = setTimeout("hideNav()", 200);
}
