<!-- funzione per il rollover di pulsanti e schede relazionate al foglio di stile
<!-- per ulteriori effetti, aggiungere un nuovo ciclo if sia nella funzione rollon che rolloff
<!-- hide this script from non-javascript-enabled browsers

function rollon() {
  if (window.event.srcElement.className == "LightButton") {
     window.event.srcElement.className = "SelectLightButton";
  }
  if (window.event.srcElement.className == "LightLabel") {
     window.event.srcElement.className = "SelectLightLabel";
  }
  if (window.event.srcElement.className == "LightDeep") {
     window.event.srcElement.className = "SelectLightDeep";
  }
  if (window.event.srcElement.className == "DarkLabel") {
     window.event.srcElement.className = "SelectDarkLabel";
  }
} 
  
Rollover.onmouseover = rollon;
  
function rolloff() {
  if (window.event.srcElement.className == "SelectLightButton") {
     window.event.srcElement.className = "LightButton";
  }
  if (window.event.srcElement.className == "SelectLightLabel") {
     window.event.srcElement.className = "LightLabel";
  }
  if (window.event.srcElement.className == "SelectLightDeep") {
     window.event.srcElement.className = "LightDeep";
  }
  if (window.event.srcElement.className == "SelectDarkLabel") {
     window.event.srcElement.className = "DarkLabel";
  }
} 
  
Rollover.onmouseout = rolloff;

// stop hiding -->