+ /* Styling for the menu */
+ /* we could grab most of these from the params to the java applet, but I'm too lazy to write that code for now */
+ /* TODO: metal effect */
+ style = '#hypermenu { font-family: Dialog, sans-serif; font-size: 12px; list-style-type: none; text-align: left; background-color: #e2e2e2; margin:0 auto; padding:0;width: 100%}';
+ style += '#hypermenu > li { margin:0; padding:0}';
+ style += '#hypermenu > li > p { font-weight: bold; background-color: #284828; margin:0; padding: 6px 0 6px 3px; }';
+ style += '#hypermenu > li > p:hover { color: #00FF00; }';
+ style += '#hypermenu ul { color:black; font-weight:normal; list-style-type: none; margin:0; padding:0; background-color: #C0C0C0}';
+ style += '#hypermenu ul > li { padding: 3px}';
+ style += '#hypermenu ul > li:hover { color: #CC0000; font-weight: bold}';
+ style += '#hypermenu a { color:inherit; text-decoration:none }' ;
+
+ /* rolling effect */
+ style += '#hypermenu > li > p { border: 1px solid gray }';
+ style += '#hypermenu > li > ul {display:none}';
+ style += '#hypermenu > li:hover > ul {display:block}';
+
+ stel = unsafeWindow.document.createElement('style');
+ stel.appendChild(document.createTextNode(style));
+ unsafeWindow.document.getElementsByTagName('head')[0].appendChild(stel);
+
+