document.write("<STYLE>BODY {");
document.write("	scrollbar-DarkShadow-Color: #333333; scrollbar-Track-Color: #aaaaaa; scrollbar-Face-Color: #990000; scrollbar-Shadow-Color: #888888; scrollbar-Highlight-Color: #990000; scrollbar-3dLight-Color: #888888; scrollbar-Arrow-Color: #bbbbbb");
document.write("}");
document.write("</STYLE>");
document.write("<script type='text/javascript'>");
document.write("function code_einfuegen(code) ");
document.write("{");
document.write("        formular._kommentar.value += code;");
document.write("}");
document.write("</script>");
document.write("");