DIV.toc {
   background: #e0e0e0;
   border: double black;
   border-width: 3;
   padding-right: 2em;
   padding-bottom: 1em;
}
DIV.revision A {
   color : #6060ff;
}
DIV.revision {
   color : #606060;
   margin-top : 10pt;
   font-size: small;
}

EM { color: red; }
I {
   color : green;
}
OL {
   list-style-type: decimal;
}
OL OL, OL UL, UL OL, UL UL, DIV.toc UL {
   margin-top: 0;
   margin-bottom: 0;
}
OL, UL, DL {
   margin-top: 1em;
   margin-bottom: 1em;
}
UL {
   list-style: disc;
}
UL UL {
   list-style: circle;
}
UL UL UL {
   list-style: square;
}
DL A.name {
   color: green;
}
TABLE {
   background: #e0e0e0;
   margin-top: 0;
   margin-bottom: 0;
}
DIV.buttons TABLE {
   background: #aaffaa;
}
DIV.buttons TH, DIV.buttons TD {
/*   font-size: small;*/
   padding: 0 5 0 5 ;
}
DIV.buttons {
   margin: 0;
}
TH, TD {
   font-family: sans-serif;
}
/* This gets around a Netscape Communicator 4.05 bug: */
TH I A, TD I A {
   font-size: small;
}
DIV.caption {
   text-align: left;
   margin-top: 0.5em;
   margin-bottom: 0.5em;
}
PRE {
   background-color: #c0ffff; /*font-weight: bold; */
   white-space: pre;
   border: none;
   border-width: 1;
   width: 120%;
   font-family: monospace;
}
BODY {
   background: white;
   width: 40em; 
   font-family: "new century schoolbook";
   font-size: 14pt;
}
H1 { 
  font-size: large;
  font-style: italic; 
  font-family: sans-serif; 
  font-weight: bold;
  clear: both;
}
H2 {
  font-size: large;
  font-family: sans-serif; 
}
H3 {
  font-family: sans-serif; 
}
BLOCKQUOTE {
   margin-left: 3em; 
   padding-right: 3em;
}
BLOCKQUOTE PRE {
   background-color: #c0ffff; /*font-weight: bold; */
   white-space: pre;
/*   background-color: white;*/
   font-family: "new century schoolbook";
}
DIV.toclist UL {
   margin: 0;
}
DIV.indexlist TD, DIV.indexlist TH, DIV.indexlist TR, DIV.indexlist TABLE {
   font-family: sans-serif;
   font-size: small;
   white-space: pre;
   vertical-align: top;
}


/* Problems:  
 1. Cannot set background colors for frames 
 2. Cannot set table properties 
 */