var minFont = 10;
var maxFont = 14;
var actFont = 11;

function incFontSize() {
	if (actFont != maxFont) {
		actFont++;
	}	
	document.getElementById("fontsize").style.fontSize= actFont + "px";
}

function decFontSize() {
	if (actFont != minFont) {
		actFont--;
	}	
	document.getElementById("fontsize").style.fontSize= actFont + "px";
}