//Funzioni per cambiare lo stile css attivo
function setActiveStyleSheet(title){
  var i, a, main;
  for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
    if(a.getAttribute("rel").indexOf("style") != -1 && a.getAttribute("title")) {
      a.disabled = true;
      if(a.getAttribute("title") == title) a.disabled = false;
    }
  }
}
function getActiveStyleSheet(){
  var i, a;
  for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
    if(a.getAttribute("rel").indexOf("style") != -1 && a.getAttribute("title") && !a.disabled) return a.getAttribute("title");
  }
  return null;
}
//Funzione per finestra
function finestra(url){
	fin = window.open(url,"fin","width=765,height=600,toolbar=no,status=no,screenX=100,screenY=200,resizable=yes") 
}