| /** |
| * Java Sourcecode to HTML automatically converted code |
| * Java2Html Converter V4.1 2004 by Markus Gebhard markus@jave.de |
| * Further information: http://www.java2html.de |
| * xhtml format used, bugs in 4.1 fixed by hand/ebb |
| */ |
| |
| td.java, td.java-ln {vertical-align:top;} |
| tt.java, tt.java-ln, pre.java, pre.java-ln {line-height:1em; margin-bottom:0em;} |
| td.java-ln { text-align:right; } |
| tt.java-ln, pre.java-ln { color:#888888 } |
| /* UNDEFINED */ font.java90 { font-size: 10pt; color:#ff6100; } |
| /* CODE */ font.java10 { font-size: 10pt; color:#000000; } |
| /* CODE_KEYWORD */ font.java4 { font-size: 10pt; color:#7f0055; font-weight:bold; } |
| /* CODE_TYPE */ font.java9 { font-size: 10pt; color:#7f0055;} |
| /* QUOTE */ font.java5 { font-size: 10pt; color:#2a00ff; } |
| /* COMMENT_LINE */ font.java3 { font-size: 10pt; color:#3f7f5f; font-style:italic; } |
| /* COMMENT_BLOCK */ font.java2 { font-size: 10pt; color:#3f7f5f; font-style:italic; } |
| /* COMMENT_JAVADOC */ font.java14 { font-size: 10pt; color:#3f5fbf; font-style:italic; } |
| /* COMMENT_KEYWORD */ font.java11 { font-size: 10pt; color:#7f9fbf; font-style:italic; font-weight:bold; } |
| /* EMPTY */ font.java99 {} |
| /* NUM_CONSTANT */ font.java910 { font-size: 10pt; color:#990000; } |
| /* CHAR_CONSTANT */ font.java911 { font-size: 10pt; color:#990000; } |
| /* PARENTHESIS */ font.java8 { font-size: 10pt; color:#000000; font-style:bold; } |