function mudafonte(tipo) { 
     if ( tipo == 0 ) { 
           document.getElementById("aumenta").style.fontSize="8pt"; 
         tipo=''; 
} 
if ( tipo == 1 ) { 
document.getElementById("aumenta").style.fontSize="10pt"; 
 tipo=''; 
} 

if ( tipo == 2 ) { 
document.getElementById("aumenta").style.fontSize="12pt"; 
 tipo=''; 
} 

}