var tam=12;
	function mudaFonte(tipo){
		if (tipo=="mais"){		
			tam+=2;
		}
		else{
			tam-=2;
		} 
		document.getElementById('tx').style.fontSize=tam+'px';
	}