// JavaScript Document

var selectedMenu=false;
var closingTimeout;
var onMenu=0;

function showMenu(idmenu) {
	if (selectedMenu) {
		hideMenu();
	}
	selectedMenu=idmenu;
	document.getElementById("tool"+idmenu).style.display='block';
	//if (idmenu!=onMenu) document.getElementById("immagine"+idmenu).src="../img/cerchio_rosso.gif";
}
function hideMenu() {
	clearTimeout(closingTimeout);
	document.getElementById("tool"+selectedMenu).style.display='none';
//	document.getElementById("immagine"+selectedMenu).src="img/cerchio_bianco.gif";
	selectedMenu=false;
}
function isOut() {
	clearTimeout(closingTimeout);
	//if (selectedMenu!=onMenu) document.getElementById("immagine"+selectedMenu).src="../img/cerchio_bianco.gif";
	closingTimeout=setTimeout("hideMenu();", 1000);
}
function isOver() {
	clearTimeout(closingTimeout);
}