/* configuration */

var maxFontSize = 14;
var minFontSize = 10;
var standardFontSize = 11;

var actualFontSize = standardFontSize;


/* functions */

function cssChangeStandard() {
	document.getElementById("content").style.fontSize = ""+standardFontSize+"px";
}

function cssChangeBigger() {
	if(actualFontSize<maxFontSize) {
		actualFontSize++;
	}
	document.getElementById("content").style.fontSize = ""+actualFontSize+"px";
}

function cssChangeSmaller() {
	if(actualFontSize>minFontSize) {
		actualFontSize--;
	}
	document.getElementById("content").style.fontSize = ""+actualFontSize+"px";
}