var fontbase=13;

function enlargeType() {
		if (fontbase<18) fontbase=fontbase+1;
		if (document.getElementById) document.getElementById("storybox").style.fontSize = fontbase + "px";
		else alert("Your browser does not support this feature.");
}

function reduceType() {
		if (fontbase>9) fontbase=fontbase-1;
		if (document.getElementById) document.getElementById("storybox").style.fontSize = fontbase + "px";
		else alert("Your browser does not support this feature.");
}