var min=12;
var max=18;
function increaseFontSize() {
   var p = document.getElementById('textearticle');
      if(p.style.fontSize) {
         var s = parseInt(p.style.fontSize.replace("px",""));
      } else {
         var s = 13;
      }
      if(s!=max) {
         s += 1;
      }
      p.style.fontSize = s+"px";

}

function decreaseFontSize() {
   var p = document.getElementById('textearticle');

      if(p.style.fontSize) {
         var s = parseInt(p.style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s>(min+1)) {
         s -= 1;
      }
      p.style.fontSize = s+"px";
   
}