// JavaScript Document
var tam = 12;

function mudaFonte(tipo,elemento){
	if (tipo=="mais") {
		if(tam<17) tam+=1;
	} else {
		if(tam>11) tam-=1;
	}
	document.getElementById('tamanhoFonte').style.fontSize = tam+'px';
}