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 > 14) dimFont = 14;
}
stile[0].style.fontSize = dimFont + 'pt'; 
}

else
alert("Funzionalita\' non supportata dal tuo browser!")
}
function diminuisci() {
if(ok) {
var size = stile[0].style.fontSize.substring(0,2)
var dimFont = parseInt(size,10)
dimFont -= 2;
{
if (dimFont < 8) dimFont = 8;
}
stile[0].style.fontSize = dimFont + 'pt'; 
}

else
alert("Funzionalita\' non supportata dal tuo browser!")
}