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 aumenta() {
	if(ok) {
	var size = stile[0].style.fontSize.substring(0,2)
	var dimFont = parseInt(size,10)
	dimFont += 2;
	{
		if (dimFont > 16) dimFont = 16;
	}
  	stile[0].style.fontSize = dimFont + 'px';	
	}
	
	else
  alert("l'oggetto styleSheets\nNON\nč supportato")
}
function diminuisci() {
	if(ok) {
	var size = stile[0].style.fontSize.substring(0,2)
	var dimFont = parseInt(size,10)
	dimFont -= 2;
	{
		if (dimFont < 10) dimFont = 10;
	}
  	stile[0].style.fontSize = dimFont + 'px';	
	}
	
	else
  alert("l'oggetto styleSheets\nNON\nč supportato")
}