// File JScript per gestire menu a tendina.
// tutti i menu devono aver id=menu.
// pos indica il n° dell'occorrenza dell'id.
function menuOpen(pos)
{
    //recupero tutti i div della pagina
    var lista_div = document.getElementsByTagName("div");
    var contatore=0;
    //scansiono la lista dei div
    for(i=0; i < lista_div.length; i++)
    {
      //scelgo in particolare quelli dei menu.
      if(lista_div.item(i).getAttribute("id") == "menuO")
      {
        //tengo il conto del numero di div trovati.
        contatore++;  
        //confrontando con l'indice vedo se è quello che mi interessa.
        selezione=lista_div.item(i);
        if(contatore-1==pos)
        {
            selezione.style.display="block";
        }
        else
        {
            selezione.style.display="none";
        }
      }
    }
}
function menuClose(pos)
{
    //recupero tutti i div della pagina
    var lista_div = document.getElementsByTagName("div");
    var contatore=0;
    //scansiono la lista dei div
    for(i=0; i < lista_div.length; i++)
    {
      //scelgo in particolare quelli dei menu.
      if(lista_div.item(i).getAttribute("id") == "menuO")
      {
        //tengo il conto del numero di div trovati.
        contatore++;  
        //confrontando con l'indice vedo se è quello che mi interessa.
        selezione=lista_div.item(i);
        if(contatore-1==pos)
        {
            selezione.style.display="none";
        }
    }
    }
}