body
{
  background:   white;
  color:        magenta;
  font:         normal 12px/14px Arial, sans-serif;  
}

p
{
  color:         navy;
  font:          normal 12px/14px Arial, sans-serif;  
}


ul
{
  color:         navy;
  font:          normal 12px/14px Arial, sans-serif;  
}

ol
{
  color:         navy;
  font:          normal 12px/14px Arial, sans-serif;  
}


li
{
  color:         navy;
  font:          normal 12px/14px Arial, sans-serif;  
}


h1
{
  color:         navy;
  font:          bold 18px/20px Arial, sans-serif;  
  margin-top:    36px;  
}

h2
{
  color:         navy;
  font:          bold 16px/18px Arial, sans-serif;  
  margin-top:    32px;  
}

h3
{
  color:         navy;
  font:          bold 14px/12px Arial, sans-serif;  
  margin-top:    28px;  
}

h4
{
  color:         navy;
  font:          bold 12px/14px Arial, sans-serif;  
  margin-top:    24px;  
}




a:link      {color: blue;}
A:visited   {color: navy;}
A:hover     {color: red; }
A:active    {color: navy;}


td
{
  color:          navy;
  font:           normal 12px/14px Arial, sans-serif;  
  vertical-align: top;
  text-align:     left;
}

th
{
  color:          navy;
  background:     #f0f0f0;
  font:           bold 12px/14px Arial, sans-serif;  
  vertical-align: top;
  text-align:     left;
}


table.definition
{
  color:          navy;
  border:         4px inset #a0a000;
  background:     #fffff0;
  font:           normal 12px/14px Arial, sans-serif;  
}

td.definition
{
  font:           normal 14px/16px Arial, sans-serif;  
  color:          navy;
  vertical-align: top;
  text-align:     left;
  vertical-align: top;
  padding:        10px;
}

pre.definition
{
  font:           normal 14px/14px Courier, monospace;  
  color:          navy;
  padding:        0px;
  margin:         0px;
}

dl.lit
{
  color:           navy;
  font:            normal 12px/14px Arial, sans-serif;  
}

dl.lit dt
{
  font:            bold 12px/14px Arial, sans-serif;  
}

dl.lit dd
{
  font:            normal 12px/14px Arial, sans-serif;  
}


span.author
{
  font:           bold 12px/14px Arial, sans-serif;  
}

span.title
{
  font:           italic 12px/14px Arial, sans-serif;  
}

span.publisher
{
  font:           normal 12px/14px Arial, sans-serif;  
}

span.edition
{
  font:           normal 12px/14px Arial, sans-serif;  
}

span.year
{
  font:           normal 12px/14px Arial, sans-serif;  
}

div.description
{
  color:          blue;
  font:           italic 12px/14px Arial, sans-serif;  
  margin-top:     20px;  
  margin-bottom:  20px;  

}

div.description ol
{
  color:          blue;
  font:           italic 12px/14px Arial, sans-serif;  
}

div.description li
{
  color:          blue;
  font:           italic 12px/14px Arial, sans-serif;  
  margin-top:     6px;  
  margin-bottom:  6px;  
}

div.break
{
  page-break-after: always
}


