function decreaseFontSize()
{
	document.getElementById("story").style.fontSize = "100%";
}
function increaseFontSize()
{

	document.getElementById("story").style.fontSize = "120%";

}