/* FONT SIZE */
var min= 0.7;
var max= 0.8;
var reset = 12;
function increaseFontSize() {
	var p = document.getElementsByTagName('body');
 	var s = max;
    p[0].style.fontSize = s+"em";
}
function decreaseFontSize() {
	var p = document.getElementsByTagName('body');
	var s = min;
	 p[0].style.fontSize = s+"em";
}

function resetFontSize(){
	var p = document.getElementsByTagName('body');
	var s = reset;
	 p[0].style.fontSize = s+"px";
}