function changeFontSize(inc)
{
  var p = document.getElementsByTagName('*');
  for(n=0; n<p.length; n++) {
    if(p[n].style.fontSize) {
       var size = parseInt(p[n].style.fontSize.replace("px", ""));
    } else {
       var size = 12;
    }
    p[n].style.fontSize = size + inc + 'px';
   }
   
//  var dl = document.getElementsByTagName('dl');
//  for(n=0; n<dl.length; n++) {
//    if(dl[n].style.fontSize) {
//       var size = parseInt(dl[n].style.fontSize.replace("px", ""));
//    } else {
//       var size = 12;
//    }
//    dl[n].style.fontSize = size + inc + 'px';
//   }
}