/* <![CDATA[ */
// create a javascript enabled links for resizing font on website
var smallfont = "'small_font'";
var medfont = "'medium_font'";
var largefont = "'x_large_font'";
document.write('<ul id="fontoptions"><li><img src="/images/fontlabel.gif" width="100" height="30" /></li><li><a href="javascript:changeFont(' + smallfont + ');" title="Click to make font smaller"><img src="/images/font_small.gif" width="30" height="30" /></a></li><li><a href="javascript:changeFont(' + medfont + ');" title="Click to make font normal"><img src="/images/font_med.gif" width="30" height="30" /></a></li><li><a href="javascript:changeFont(' + largefont + ');" title="Click to make font larger"><img src="/images/font_large.gif" width="30" height="30" /></a></li></ul>');
/* ]]> */