var min=12;
var max=18;
function increaseFontSize() {
   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 decreaseFontSize() {
   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 = 12;
      }
      if(s!=min) {
         s -= 1;
      }
      p[i].style.fontSize = s+"px"
   }   
}

// JavaScript Document -- not used anymore
function changeGraphic( toWhich ) {
  
  if( toWhich == "minus" ) {
    var which = document.getElementById( toWhich );
    which.src = "images/text_minus2.png";
    which.width = "25";
    which.height = "7";
    which.alt = "make text smaller";
  }
  else {
    var which = document.getElementById( toWhich );
    which.src = "images/text_plus2.png";
    which.width = "25";
    which.height = "25";
    which.alt="make text larger";
  }
}

function revert( toWhich ) {
  
  if( toWhich == "minus" ) {
    var which = document.getElementById( toWhich );
    which.src = "images/text_minus.png";
    which.width = "20";
    which.height = "20";
    which.alt = "make text smaller";
  }
  else {
    var which = document.getElementById( toWhich );
    which.src = "images/text_plus.png";
    which.width = "20";
    which.height = "20";
    which.alt="make text larger";
  }
}