// JavaScript Document
/* MUDA TAMANHO FONTE TEXTO */
tam = 12;
function mudaFonte(tipo,elemento){
	if (tipo=="mais") {
		if(tam<16) tam+=1;
	} else {
		if(tam>12) tam-=1;
	}
	document.getElementById('columnA_2columns').style.fontSize = tam+'px';
}