var minSize = 10;
var maxSize = 16;
function increaseFontSize() {
   var p = document.getElementsByTagName('div');
   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 < maxSize) s++;
      p[i].style.fontSize = s + "px"
   }
}
function decreaseFontSize() {
   var p = document.getElementsByTagName('div');
   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 > minSize) s--;
      p[i].style.fontSize = s + "px"
   }   
}