function changeFontSize(element,step) {
  step = parseInt(step,10);
  var el = document.getElementById(element);
  if (el.style.fontSize == "") { el.style.fontSize = "10pt"; } 
  if (el.style.lineHeight == "") { el.style.lineHeight = "120%"; } 
  var curFont = parseInt(el.style.fontSize,10);
  el.style.fontSize = (curFont+step) + 'pt';
}

function incrFont (element) {
  var el = document.getElementById(element);
  for (i=0; i<el.length; i++) {
    if (el[i].style.fontSize) {
      var s = parseInt(el[i].style.fontSize.replace("px",""));
    } else {
      var s = 12;
    }
    if (s!=36) { s += 1; }
    el[i].style.fontSize = s+"px"
  }
}

function decrFont (element) {
  var el = document.getElementById(element);
  for (i=0; i<el.length; i++) {
    if (el[i].style.fontSize) {
      var s = parseInt(el[i].style.fontSize.replace("px",""));
    } else {
      var s = 12;
    }
    if (s!=6) { s -= 1; }
    el[i].style.fontSize = s+"px"
  }
}