function tamanhofonte(op) {

	var incremento = 1;	
	var local_alterado = document.getElementById("corpodotexto").style.fontSize;	
	local_alterado = parseInt(local_alterado.replace(/px/,""));
	
	if (op == "mais") {
		local_alterado += incremento;
	} else {
		local_alterado -= incremento;
	}
	
	document.getElementById("corpodotexto").style.fontSize = local_alterado + 'px';

}