// scripts.js - het centrale script-bestand

var hideTimer;

function openMenu(menu)
{
	clearTimeout(hideTimer);
	document.getElementById(menu).style.visibility = "visible";
}

function closeMenu(menu)
{
	document.getElementById(menu).style.visibility = "hidden";
}