/**
 * 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; }