var min=8;
var max=18;
function increaseFontSize() {
   var p = document.getElementsByTagName('body');
	if(p[0].style.fontSize) {
		var s = parseInt(p[0].style.fontSize.replace("px",""));
	} else {
		var s = 10;
	}
      if(s!=max) {
         s += 1;
      }
      p[0].style.fontSize = s+"px"

}
function decreaseFontSize() {
	var p = document.getElementsByTagName('body');
	if(p[0].style.fontSize) {
		var s = parseInt(p[0].style.fontSize.replace("px",""));
	} else {
		var s = 10;
	}
	if(s!=min) {
		s -= 1;
	}
	p[0].style.fontSize = s+"px"
 
}