var MinFontSize = 8;
var MaxFontSize = 28;
var DefaultFontSize = 16;


ok = (document.styleSheets) ? 1 : 0;
IE = ((ind1 = navigator.appVersion.indexOf("MSIE")) > -1)
? 1 : 0;
IE4 = (IE && document.all) ? 1:0;
NN = (navigator.appName.indexOf("Netscape")>-1) ? 1 : 0;
NN4 = (NN && document.layers) ? 1 : 0;
NN6 = (NN && document.getElementById) ? 1:0;
if(ok) {
if(IE4) stile = document.styleSheets[0].rules
if(NN6) stile = document.styleSheets[0].cssRules
}


function ChangeFontSize(type) {
if(ok) {
var size = stile[0].style.fontSize.substring(0,2)
var dimFont = parseInt(size,10)
	if (type == 1) {
		dimFont += 2;
		if (dimFont > MaxFontSize) dimFont = MaxFontSize;
	}
	else if (type == -1) {
		dimFont -= 2;
		if (dimFont < MinFontSize) dimFont = MinFontSize;
	}
	else if (type == 0) {
		dimFont = DefaultFontSize;
	}
	stile[0].style.fontSize = dimFont + 'px';
	}
else
	alert("Non è possibile modificare il carattere")
}


function cambiaFont() {
 if (stile[0].style.fontFamily == "Verdana, Arial, Helvetica, sans-serif")
  stile[0].style.fontFamily = "georgia,times,times new roman,serif";
 else
  stile[0].style.fontFamily = "Verdana, Arial, Helvetica, sans-serif";
}