// JavaScript Document
// to use this script to re-size text without reloading include the following code (or a variation of this code) in your html document: 
//<span id="controlBar"><a href="#" onclick="window.print();return false;">Print</a> | Text Size: -<a href="javascript:decreaseFontSize();" style="font-size: small;">A</a> +<a href="javascript:increaseFontSize();" style="font-size: large;">A</a></span>
////////////////////


//these variables determine the minimum and maximum font size
var min=8;
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 = 12;
      }
      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"
   }   
}