// JavaScript Document
function normalFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      var s = 14;
      p[i].style.fontSize = s+"px";
   }
   
}
function largeFontSize() {
	
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      var s = 16;
      p[i].style.fontSize = s+"px";
   }   
}
function xlargeFontSize() {
   var p = document.getElementsByTagName('p');
   
   for(i=0;i<p.length;i++) {
      var s = 19;
      p[i].style.fontSize = s+"px";
   } 
  
   
}