var min=12;
var max=18;
function increaseFontSize(divname) {
	var p = document.getElementById(divname);

	if(p.style.fontSize) {
		var s = parseInt(p.style.fontSize.replace("px",""));
	} else {
		var s = 14;
	}
	if(s!=max) {
		s += 1;
	}
	p.style.fontSize = s+"px"

}
function decreaseFontSize(divname) {
	var p = document.getElementById(divname);
	if(p.style.fontSize) {
		var s = parseInt(p.style.fontSize.replace("px",""));
	} else {
		var s = 14;
	}
	if(s!=min) {
		s -= 1;
	}
	p.style.fontSize = s+"px"

}