function changeFontSize(inc){
      var p = document.getElementsByTagName('p');
      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';
     }
    }