var min=8;
var max=18;
function increaseFontSize(id) {
   var corpo = document.getElementById(id);
  if(corpo.style.fontSize) {
	 var s = parseInt(corpo.style.fontSize.replace("px",""));
  } else {
	 var s = 12;
  }
  if(s!=max) {
	 s += 1;
  }
  corpo.style.fontSize = s+"px"
}
function decreaseFontSize(id) {
   var corpo = document.getElementById(id);
  if(corpo.style.fontSize) {
	 var s = parseInt(corpo.style.fontSize.replace("px",""));
  } else {
	 var s = 12;
  }
  if(s!=min) {
	 s -= 1;
  }
  corpo.style.fontSize = s+"px"
}