// JavaScript Document
var tamanho_fonte = 12;
function aumentar_fonte(div){
	if(tamanho_fonte<20){
		tamanho_fonte = tamanho_fonte+2;
		document.getElementById(div).style.fontSize = tamanho_fonte+'px';
	}
}

function diminuir_fonte(div){
	if(tamanho_fonte>10){
		tamanho_fonte = tamanho_fonte-2;
		document.getElementById(div).style.fontSize = tamanho_fonte+'px';
	}
}