function writeStyleSwitch(){
document.write("<form name='changetype'>");
document.write("<input type='button' name='styleswitch1' class='buttontext' tabindex=1 value='Larger type' onClick=\"javascript:setActiveStyleSheet(\'bigtype\'); return false;\">");
document.write("<input type='button' name='styleswitch2' class='buttontext' tabindex=1 value='Default type' onClick=\"javascript:setActiveStyleSheet(\'standard\'); return false;\">");
document.write("<a href='buttons.html' tabindex=2>[What's with the buttons?]</a>");
document.write("</form>");
}