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[1].style.fontSize.substring(0,2)
    var dimFont = parseInt(size,10)
    dimFont += 2;
    {
    if (dimFont > 18) dimFont = 18;
    }
    stile[1].style.fontSize = dimFont + 'px';
    }
    else
    alert("il browser non supporta questa funzione")
    }

function diminuisci() {
    if(ok) {
    var size = stile[1].style.fontSize.substring(0,2)
    var dimFont = parseInt(size,10)
    dimFont -= 2;
    {
    if (dimFont < 10) dimFont = 10;
    }
    stile[1].style.fontSize = dimFont + 'px';
    }
    else
    alert("il browser non supporta questa funzione")
    }