var tam=10;
	function mudaFonte(tipo)
	{	
		
		var fonte= document.getElementById('texto');
		fonte = fonte.style.fontSize.substr(0,2); //pega apenas os numeros de '20px'
		
		if(fonte==''){fonte=10;}

		if (tipo=='mais'){
			if(fonte <21){
				tam+=3;
			}
		}else if(tipo=='menos'){
			if(fonte >10){
				tam-=3;
			}
		}
		else
		{
			tam=12;
		}
		document.getElementById('texto').style.fontSize=tam+'px';

		

			
	}