var min=10;
var max=17;
function increaseFontSize(obj) 
{

   var p = document.getElementById(obj);
   
      if(p.style.fontSize) {
         var s = parseInt(p.style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=max) {
         s += 1;
      }
      p.style.fontSize = s+"px"
}

function decreaseFontSize(obj) {
   var p = document.getElementById(obj);
      if(p.style.fontSize) {
         var s = parseInt(p.style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=min) {
         s -= 1;
      }
      p.style.fontSize = s+"px"
}


function keepitsame(obj) {
   var p = document.getElementById(obj);
p.style.fontSize = 11+"px"
}