/* Basic Definition -*-Text-*- */
BODY { background: #FFFFE0; }

H1, H2, H3, H4, H5, H6 {
 color: #800000;
 font-style: italic;
 font-family: Helbetica;  /* Times Roman style */
 font-weight: 700;    /* bold */
}

H1 {
  margin-left: 0pt;
}

H2 {
  margin-left: 10pt;
  border-style: double;
  border-top-width: 0;
  border-right-width: 0;
  border-left-width: 0;
  border-bottom-width: 3;
  border-color: green;
}

H3 {
  margin-left: 10pt;
  border-style: dotted;
  border-top-width: 0;
  border-right-width: 0;
  border-left-width: 0;
  border-bottom-width: thin;
  border-color: #c06000;
}

H4 { margin-left: 15pt; }

H5, H6 { margin-left: 20pt; }

H1 { font-size: 25pt; }
H2 { font-size: 20pt; }
H3 { font-size: 15pt; }

P { margin-left: 0pt; }

TT { font-family: "courier new", monospace; }
EM { font-style: bold; color: red;}

/* tables */
TABLE.list TH { background: #E0d0d0;
                font-weight: normal;
                font-style:  italic;
                text-align:  left; }
TABLE.list TD { background: #E0E0E0; }

TABLE.footmenu TD { font-size: small; }

/** blockings **/
DIV.full-gray {
  width: 100%;
  border:  none black;
  border-width: thin;
  background: #E0E0E0;
  padding: 5pt;
}


DIV.gray { 
  border:  none black;
  border-width: thin;
  background: #E0E0E0;
  padding: 5pt;
}

DIV.box { 
  border:  solid black;
  border-width: thin;
  background: #E0E0E0;
  padding: 5pt;
}

.terminal {
  color: white;
  background: black;
  padding: 5pt;
  font-family: monospace;
  border: solid black;
  border-width: 1;
  width: 100%;
}

.code {
  color: black;
  background: #E8E8E0;
  border: solid black;
  border-width: 1;
  padding: 5pt;
  font-family: monospace;
}

DIV.seealso {
  text-align: right;
  font-size: small;
  color: gray;
}

DIV.footer {
  margin-top: 10pt;
  border-top-width: 2;
  border-bottom-width: 0;
  border-left-width: 0;
  border-right-width: 0;
  border-top: gray solid 2pt; /* for Netscape 4.0 */
  border-color: gray;
  color: gray;
  padding: 0pt;
}