var min=12;
var max=18;

function increaseFontSize() {

	var p = document.getElementById('maincontent');
	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() {

	var p = document.getElementById('maincontent');
	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"

}