var min=8;
var max=18;
function increaseFontSize() {
  var p = document.getElementsByTagName('p');
  var a = document.getElementsByTagName('a');
  for(i=0;i<p.length;i++) {
    if(p[i].style.fontSize) {
      var s = parseInt(p[i].style.fontSize.replace("px","")); } else {var s = 12;}
    if(s!=max) {s += 1;}
    p[i].style.fontSize = s+"px"
  }
  for(i=0;i<a.length;i++) {
    if(a[i].style.fontSize) {
      var s = parseInt(a[i].style.fontSize.replace("px","")); } else {var s = 12;}
    if(s!=max) {s += 1;}
    a[i].style.fontSize = s+"px"
  }
}
function decreaseFontSize() {
  var p = document.getElementsByTagName('p');
  var a = document.getElementsByTagName('a');
  for(i=0;i<p.length;i++) {
    if(p[i].style.fontSize) {
      var s = parseInt(p[i].style.fontSize.replace("px","")); } else {var s = 12;}
    if(s!=min) {s -= 1;}
    p[i].style.fontSize = s+"px"
  }
  for(i=0;i<a.length;i++) {
    if(a[i].style.fontSize) {
      var s = parseInt(a[i].style.fontSize.replace("px","")); } else {var s = 12;}
    if(s!=min) {s -= 1;}
    a[i].style.fontSize = s+"px"
  }
}