var min=8;
var max=18;
function smallFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      p[i].style.fontSize = "11px"
   }
}

function mediumFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      p[i].style.fontSize = "12px"
   }   
}

function largeFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      p[i].style.fontSize = "15px"
   }   
}