var min=8;
var max=18;
function increaseFontSize() {
	p = document.getElementById("bodywrap");
	if(p.style.fontSize) {
	var s = parseInt(p.style.fontSize.replace("px",""));
	} else {
		var s = 12;
	}
	if(s!=max) {
		s += 1;
	}
	p.style.fontSize = s+"px"
}
function decreaseFontSize() {
	p = document.getElementById("bodywrap");   
      if(p.style.fontSize) {
         var s = parseInt(p.style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=min) {
         s -= 1;
      }
      p.style.fontSize = s+"px" 
}