
function changeFont(intFontSize)
{var oStoryDiv=document.getElementById("storyBody");
var strClassName='font'+intFontSize;oStoryDiv.className=strClassName;
switch(intFontSize)
{case 1:document.images["fontsize1"].src="images/rcm_header_04.gif";document.images["fontsize2"].src="images/rcm_header_off_03.gif";document.images["fontsize3"].src="images/rcm_header_off_02.gif";
break;case 2:document.images["fontsize1"].src="images/rcm_header_off_04.gif";document.images["fontsize2"].src="images/rcm_header_03.gif";document.images["fontsize3"].src="images/rcm_header_off_02.gif";
break;case 3:document.images["fontsize1"].src="images/rcm_header_off_04.gif";document.images["fontsize2"].src="images/rcm_header_off_03.gif";document.images["fontsize3"].src="images/rcm_header_02.gif";break;}}

