// JavaScript Document

// serve a cambiare l'id dei link correnti nella pagina
function highlights( array )
	{
		for( i=0; i<array.length; i++)
		try 
			{
				elem = document.getElementById( array[i] );
				elem.id="activelink";
			}
			catch (e)
			{
			}
	}
	
/*
 *	mostraElem: mostra/nasconde dei div nascosti, l'effetto e' quello di aprire/chiudere dei div
 *			Input: elemCorrente e' l'id del div da mostrare
 */
function mostraElem(elemCorrente) 
{
	//intShow=setInterval("mostraElem()",10)
	if (document.getElementById) 
	{
		questoElem = document.getElementById(elemCorrente).style; //recupero lo stato del div
		
		if (questoElem.display == "block") questoElem.display = "none"; //se il div e' mostrato(menu aperto), lo nascondo(div chiuso)
		else	questoElem.display = "block"; // altrimenti lo mostro
		
		return false;
	}
	else return true;
}

// mostra il div con info e ricerca nell'header
function showUtility()
  {
	document.getElementById('utility').style.display="block";
  }