var min=8;
var max=30;
function increaseFontSize() {
   var span = document.getElementsByTagName('span')
   //alert(span[span.length-1;i++) {
   for(i=0;i<span.length;i++) {
      if(span[i].style.fontSize) {
         //var s = parseInt(span[i].style.fontSize.replace("px",""))
         var s = parseInt(span[i].style.fontSize.replace("pt",""))         
      } else {
         var s = 16
      }
      if(s!=max) {
         s += 1
      }
//alert(i)
       span[i].style.fontSize = s+"pt"
      
   }

}
function decreaseFontSize() {
   var span = document.getElementsByTagName('span');
   for(i=0;i<span.length;i++) {
      if(span[i].style.fontSize) {
         var s = parseInt(span[i].style.fontSize.replace("pt",""))
      } else {
         var s = 14
      }
      if(s!=min) {
         s -= 1
      }
      span[i].style.fontSize = s+"pt"
   }   
}