/* ---- font size change  ---- */
/* --------------------------- */

var curFontSize = 11; 	// curFontSize needs to be the same as the font size for paragraphs, as set in the css (in pixels)
var fontModifier = 1; 	// how much to increase/decrease font size each time (in pixels)

function fontSize(act) {
        tmpStoryBody = document.getElementById("middlecol");
        if (act == 1) {
            curFontSize += fontModifier;
            curFontSize = Math.min(curFontSize, 41);
        }
        else if (act == 0) {
            curFontSize -= fontModifier;
            curFontSize = Math.max(curFontSize, 9);
        }
        tmpStoryBody.style.fontSize = curFontSize + "px";
		for (v = 0; v < tmpStoryBody.getElementsByTagName("p").length; v++) {
           tmpStoryBody.getElementsByTagName("p")[v].style.fontSize = curFontSize + "px";  }
}

/* ------------------------------ */
/* ---- // font size change  ---- */