function setFontSize(size) {
 var body = document.getElementsByTagName('body');
 for(var i = 0; i < body.length; i++) {
  if (body[i].style.fontSize) {
   var s = parseInt(body[i].style.fontSize.replace("px",""));
  } 
  else {
   var s = size;
  }
  body[i].style.fontSize = size + "px";
  

}


}