// JavaScript Document

// accessibility font resize tool

	var min=8;
	var max=18;
	function increaseFontSize() { //increase
	   var p = document.getElementsByTagName('p'); //only p tags.
	   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() { //decrease
	   var p = document.getElementsByTagName('p'); //only p tags.
	   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"
	   }   
	} 

// end resize tool