// JavaScript Document
	var tam=11;

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

		if (tipo=='mais'){
			if(fonte <14){
				tam+=1;
			}
		}else if(tipo=='menos'){
			if(fonte >11){
				tam-=1;
			}
		}
		else
		{
			tam=11;
		}
		document.getElementById('central').style.fontSize=tam+'px';

		

			
	}