var min=12;
var max=14;
function increaseFontSize() {
  var right = document.getElementById('right');

   var p = right.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 = 12;
      }
      if (s!=max) {
         s += 2;
      }
      p[i].style.fontSize = s+"px"
   }

   var ul = right.getElementsByTagName('ul');
   for (i=0; i<ul.length; i++) {
      if (ul[i].style.fontSize) {
         var s = parseInt(ul[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if (s!=max) {
         s += 2;
      }
      ul[i].style.fontSize = s+"px"
   }
   
   var table = right.getElementsByTagName('table');
   for (i=0; i<table.length; i++) {
      if (table[i].style.fontSize) {
         var s = parseInt(table[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if (s!=max) {
         s += 2;
      }
      table[i].style.fontSize = s+"px"
   }
}
function decreaseFontSize() {
  var right = document.getElementById('right');

   var p = right.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 = 12;
      }
      if (s!=min) {
         s -= 2;
      }
      p[i].style.fontSize = s+"px"
   }
   
   var ul = right.getElementsByTagName('ul');
   for (i=0; i<ul.length; i++) {
      if (ul[i].style.fontSize) {
         var s = parseInt(ul[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if (s!=min) {
         s -= 2;
      }
      ul[i].style.fontSize = s+"px"
   }
   
   var table = right.getElementsByTagName('table');
   for (i=0; i<table.length; i++) {
      if (table[i].style.fontSize) {
         var s = parseInt(table[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if (s!=min) {
         s -= 2;
      }
      table[i].style.fontSize = s+"px"
   }
}