var min=8;
var max=18;

function shrinkFont() {
  var p = document.getElementsByTagName('p');
  for(i=0;i<p.length;i++) {
    if(p[i].style.fontSize) {
      var s = parseInt(p[i].style.fontSize.replace("px",""));
    } 
    
    else {
      var s = 14;
    }
    
    if(s!=min) {
      s -= 1;
    }
    
    p[i].style.fontSize = s+"px";
  }
}

function growFont() {
  var p = document.getElementsByTagName('p');
  for(i=0;i<p.length;i++) {
    if(p[i].style.fontSize) {
      var s = parseInt(p[i].style.fontSize.replace("px",""));
    } 
    
    else {
      var s = 14;
    }
    
    if(s!=max) {
      s += 1;
    }
    
    p[i].style.fontSize = s+"px";
  }
}

function resetFont() {
  var p = document.getElementsByTagName('p');
  for(i=0;i<p.length;i++) {
    if(p[i].style.fontSize) {
       var s = parseInt(p[i].style.fontSize.replace("px",""));
    } 
    
    else {
       var s = 14;
    }
    
    if(s!=14) {
       s = 14;
    }
    
    p[i].style.fontSize = s+"px";
  }
}