function changeFontSize(inc)
{
  var tagList = new Array('p', 'td', 'li');
  for(var i = 0; i < tagList.length; i++)
  {
    var s = document.getElementById('main').getElementsByTagName(tagList[i]);
    for(var j = 0; j < s.length; j++)
    {
      if(s[j].style.fontSize)
        var size = parseInt(s[j].style.fontSize.replace('px', ''));
      else
        var size = 12;
      s[j].style.fontSize = (size + inc) + 'px';
    }
  }
}