// Style-switch temporaneo per l'anteprima di stampa
function setAnteprima(ident) {
  var i, a, main;
  for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
    if(a.getAttribute("rel").indexOf("style") != -1)	{									
      a.disabled = true;
      if(a.getAttribute("title") == ident) a.disabled = false;
    }
  }
}