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