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

function dimensionetesto(misura) {
if (!document.getElementsByTagName) {return}
var standard = "xs";
var misure_ = {
	"xs": "64%",
	"s": "75%",
	"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();