body 
{
   background: #FFFFD8;     
   color: black; 
   margin: 5px 0px 0px 20px; 
   padding: 0px;
   font-family: Times, helvetica, sans-serif;
   font-size: 100%;
   width: 750px;
   line-height: 1.1em;
}
table
{
   empty-cells: show;
}

.overview table
{
   border-collapse: collapse;
   border: 2px solid #595999;
   font-size: 100%;
}
.overview td
{
   vertical-align: middle;
   padding-left: 5px;
   padding-right: 5px;
   font-size: 85%;
   border: 1px solid #595999;
}
.overview th
{
   border: 1px solid #595999;
}
.overview caption
{ 
   caption-side: top;
   background: transparent; 
   color: #3333cc; 
   font-family: sans-serif;
   font-size: 1em; 
   font-style: italic; 
   font-weight: bold; 
   margin: 0;
   padding: 0.3em; 
   text-align: center; 
   width: auto;
}
p.important
{
   font-style: bold;
   font-size: 1.5em;
}
p.example
{
   font-style: italic;
}
h4
{
   color: green;
   font-style: italic;
   font-weight: bold; 
}
code.example
{
   display: block;
   border: 1px solid #595999;
   background: #FEEBCB;
   color: blue;
   padding: 5px;
   margin: 0px 0px 35px 0px;
   font-family: monospace;
   font-size: 92%;
   white-space: pre;
   line-height: 1.2em;
}

div#title
{
   color: green;
   font-family: cursive, helvetica, sans-serif;
   font-size: 200%;
}
pre
{
   font-style: italic;
}