var fuente =12;
function aumentar(){
fuente = fuente + 1;
 if (fuente > 18) { fuente=18; }
aumento_fuente = fuente+"px";
elem = document.getElementsByTagName('*');
for(i=0;ele=elem[i];i++) ele.style.fontSize=aumento_fuente;
}

function disminuir(){
fuente = fuente - 1;
 if (fuente < 9) { fuente=8; }
disminuir_fuente = fuente+"px";
elem = document.getElementsByTagName('*');
for(i=0;ele=elem[i];i++) ele.style.fontSize=disminuir_fuente;
}