document.write ('<b>Text Style<\/b>');
    document.write ('<ul compact="compact" class="inline")>');
    document.write ('<li><a href="javascript:changefontsize(\'smaller\');" title="Decrease text size" id="dec">Decrease text size<\/a><\/li>');
    document.write ('<li><a href="javascript:changefontsize(\'larger\');" title="Increase text size" id="inc">Increase text size<\/a><\/li>');
    document.write ('<li><a href="javascript:changecontrast(\'1\');" title="Soft contrast" id="soft">Soft contrast<\/a><\/li>');
    document.write ('<li><a href="javascript:changecontrast(\'2\');" title="High contrast" id="high">High contrast<\/a><\/li>');
    document.write ('<li><a href="javascript:changecontrast(\'0\');" title="Normal contrast" id="normal">Normal contrast<\/a><\/li>');
    document.write ('<\/ul>');