/* Funzioni per la consultazione delle cartelle */
function mmenu(mID) {
  var menu = document.getElementById(mID);
  var display = menu.style.display;
  menu.style.display = (display == "block") ? "none" : "block";
  menu.parentNode.style.listStyleImage = (display == "block") ? "url(http://www.comune.pisa.it/mappa/cartellachiusa.gif)" : "url(http://www.comune.pisa.it/mappa/cartellaaperta.gif)";
 }
 
    //Al Caricamento della pagina chiudo tutto il menu
 window.onload = function() {
  var uls = document.getElementsByTagName("ul");
  for (i=0;i<uls.length;i++) {
   if(uls[i].className=="submenu")uls[i].style.display = "none";
  }
  
  //Qui definisco quale menu lasciare aperto al carcamento della pagina
  mmenu('submenu-1');
  mmenu('submenu-2');
  mmenu('submenu-3');
  mmenu('submenu-4');
  mmenu('submenu-5');
  mmenu('submenu-6');
  mmenu('submenu-7');
 }
 
 /* Fine Gestione cartelle */