var isMouseOver = false;

function hideCatalogueMenu()
{	
	isMouseOver = false;
	window.setTimeout("hide()", 1000);	
	
	//document.getElementById("catalogue-menu-inner").style.backgroundColor = "transparent";
}

function hide()
{
	if(!isMouseOver)
		document.getElementById("catmmm").style.visibility = "hidden";
}

function showCatalogueMenu()
{	
	isMouseOver = true;
	
	document.getElementById("catmmm").style.visibility = "visible";
	//document.getElementById("catalogue-menu-inner").style.backgroundColor = "#BAC6D8";
}