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 = 13; 
      } 
      if(s<20) { 
         s += 2; 
      } 
      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 = 13; 
      } 
      if(s>10) { 
         s -= 2; 
      } 
      p[i].style.fontSize = s+"px" 
   }    
}