function increaseFontSize() {
   var max=22;
   var p = document.getElementsByTagName('div');
   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 min=6;
   var p = document.getElementsByTagName('div');
   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"
   }
}