//Dimensionetesto

window.onerror = HandleError;function HandleError() {return true}

function dimensionetesto(misura) {
if (!document.getElementsByTagName) {return}
var standard = "xs";
var misure_ = {
"xs": "64%",
"s": "80%",
"m": "100%"
};
if (!misura) {
var cookie = readCookie("dimensionetesto");
misura = cookie ? cookie : standard;
}
document.getElementsByTagName('html')[0].style.fontSize = misure_[misura];
createCookie("dimensionetesto", misura, 365);
for(i=0; (a = document.getElementsByTagName('link')[i]); i++) {
if(a.getAttribute('rel').indexOf('style') != -1 && a.getAttribute('title')) {
if(a.getAttribute('title') == "skin") a.disabled = true;
      if(a.getAttribute('title') == "skin") a.disabled = false;
}
} /* questo ciclo for serve a disattivare e riattivare il foglio di stile della skin, non so perché ma evita un problema nel ridimensionamento dei caratteri con Opera 7 */
}

window.onload = function(e) {
  dimensionetesto();
}
dimensionetesto();