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