function mudafonte(tipo)

{ 

if ( tipo == 0 ) { 

document.getElementById("meio").style.fontSize="6.5pt"; 

tipo=''; 

} 



if ( tipo == 1 ) { 

document.getElementById("meio").style.fontSize="9pt"; 

 tipo=''; 

}







if ( tipo == 2 ) { 

document.getElementById("meio").style.fontSize="8pt"; 

 tipo=''; 

}

}