var min=0.8;
var max=1.3;
function increaseFontSize() {
   var p = document.getElementById('body_code');
      if(p.style.fontSize) {
         var s = parseFloat(p.style.fontSize.replace("em",""));
      } else {
         var s = 1;
      }
      if(s!=max) {
         s += 0.1;
      }
      p.style.fontSize = s+"em";

}
function decreaseFontSize() {
   var p = document.getElementById('body_code');
      if(p.style.fontSize) {
         var s = parseFloat(p.style.fontSize.replace("em",""));
      } else {
         var s = 1;
      }
      if(s!=min) {
         s -= 0.1;
      }
      p.style.fontSize = s+"em";
}