var tamanho = 11;
function setTextSize(tipo) { 
	if(tipo == 'mais') { 
		if(tamanho < 16) tamanho +=1;
	} else { 
		if(tamanho > 9) tamanho -=1;
	}
	document.getElementById('content').style.fontSize = tamanho+'px';
}