// JavaScript Document
<!--font control start-->
var defaultsize=14;
var min=10;
var max=16;
function resetFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {      
      p[i].style.fontSize = defaultsize+"px";
   }
}

function increaseFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=max) {
         s += 1;
      }
      p[i].style.fontSize = s+"px"
   }
}
function decreaseFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=min) {
         s -= 1;
      }
      p[i].style.fontSize = s+"px"
   }   
}
//scroll
function Scroll(id,dis,pos){
	var obj=document.getElementById(id)
	obj.scrollTop=obj.scrollTop+dis;
	if (pos){obj.scrollTop=pos; }
	else {zxcTO=setTimeout( function(){ Scroll(id,dis); },10); }
}
<!--font control end-->