// $Id: choosecss.js,v 1.3 2005/05/23 23:09:36 tony Exp $
document.write('<div id="choosecss" name="choosecss">Text size: <a id="texts" name="texts" href="javascript:setActiveStyleSheet(&quot;Small Text Style Sheet&quot;,1);" title="Small text">A</a>&nbsp;<span class="hidden">|&nbsp;</span><a id="textr" name="textr" href="javascript:setActiveStyleSheet(&quot;Regular Text Style Sheet&quot;,1);" title="Regular text">A</a>&nbsp;<span class="hidden">|&nbsp;</span><a id="textl" name="textl" href="javascript:setActiveStyleSheet(&quot;Large Text Style Sheet&quot;,1);" title="Large text">A</a></div>');