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

	}