BODY  {
  font-family: Verdana, sans-serif, helvetica, arial;
  font-size: 13px;
  background-color: #FFFFFF;
  border-color : Black;
  }

img {
  border-color: #000000;
  }

.default  {
  font-family: Verdana, sans-serif, helvetica, arial;
  font-size: 13px;
  }

TD  {
  font-family: Verdana, sans-serif, helvetica, arial;
  font-size: 13px;
  }

TH  {
  font-family: helvetica, arial, sans-serif;
  font-size: 12pt;
  }

A:link {
  color: #001692;
  }

A:visited {
  color: #001692;
  }

A:hover {
  color: red;
  }

.leftmenu  {
  font-family: Verdana, sans-serif, helvetica, arial;
  font-size: 13px;
  line-height: 1.3em;
  }

H1 {font-size: 18pt; font-weight : bold; color: #CC3333;}
H2 {font-size: 14pt; font-weight: bold; color: #CC3333; }
H3 {font-size: 10pt; font-weight: bold; color: #CC3333; }
H4,H5,H6 {font-size: 10pt; font-weight: normal; color: #CC3333; }

.h1 {font-size: 18pt; font-weight : bold; color: #CC3333;}
.h2 {font-size: 14pt; font-weight: bold; color: #CC3333; }
.h3 {font-size: 10pt; font-weight: bold; color: #CC3333; }
.h4 {font-size: 10pt; font-weight: normal; color: #CC3333; }

.smalltextbase {
  font-family: Verdana, sans-serif, helvetica, arial;
  font-size: 11px;
  line-height: 1.2em;
  }

.smalltext {
  font-size: 11px;
  line-height: 1.2em;
  }

LI  {
  list-style-type: circle;
  line-height: 1.3em;
  }

/* TABLE STYLES */

.tablebg  {
  background-color: #666699;
  }

.tablehbg  {
  background-color: #00315A;
  }

.tablehfont  {
  font-weight: bold;
  color: #FFFFFF;
  }

.tablecbg  {
  background-color: #cccc99;
  }

.tablecfont  {
  font-weight: bold;
  color: #00315A;
  }

.tablerbg  {
  background-color: #f0f0f0;
  }

.tabler  {
  background-color: #FFFFFF;
  }

/* END TABLES */

.titlec  {
  font-weight: bold;
  color: #CC3333;
  }

PRE,SAMP,CODE,TT {
  font-family: Courier New, Monospaced;
  }

.textbox {
  font-family: Courier New, Monospaced;
  }

.constant {
  /* font-lock-constant-face */
  color: #b03060;
  }

.keyword {
  /* font-lock-keyword-face */
  color: #0000ff;
  }

.function-name {
  /* font-lock-function-name-face */
  color: #0000ff;
  }

.comment {
  /* font-lock-comment-face */
  color: #666666;
  font-style: italic;
  }

.string {
  /* font-lock-string-face */
  color: #b03060;
  }

.variable-name {
  /* font-lock-variable-name-face */
  color: #006400;
  }

.type {
  /* font-lock-type-face */
  color: #00008b;
  }

.extra-java-font-lock-number {
  /* extra-java-font-lock-number-face */
  color: #b03060;
  }

.builtin {
  /* font-lock-builtin-face */
  color: #0000ff;
  }

