function increaseFontSize() {
  var className = getClassName();
  if ('small' == className) {
    d('bodycontent').className = 'normal';
  }
  else if ('normal' == className) {
    d('bodycontent').className = 'large';
  }
}
 
function decreaseFontSize() {
  var className = getClassName();
  if ('normal' == className) {
    d('bodycontent').className = 'small';
  }
  else if ('large' == className) {
    d('bodycontent').className = 'normal';
  }
}
 
function getClassName() {
  return d('bodycontent').className;
}
 
function d(id) {
  return document.getElementById(id);
}