div.contentBody h2, div.contentBody h3, div.contentBody h4
{
   margin-left: 0px;
   margin-right: 0px;
   margin-top: 0.75em;
   margin-bottom: 0.25em;
   padding: 0.25em;
   padding-left: 0px;
   padding-right: 0px;

   font-weight: bold;
}

div.contentBody h2
{
   font-size: 1.4em;
   border-top-width: 3px;
}

div.contentBody h3
{
   font-size: 1.1em;
   border-top-width: 1px;
}

div.contentBody h4
{
   font-size: 1.0em;
   border-top-width: 0px;
}

div.contentBody a
{
   text-decoration: none;
}

div.contentBody a:hover
{
   text-decoration: underline;
}

div.contentBody ul.toc
{
   list-style-type: none;
   font-size: 0.95em;
   margin: 0px;
   padding-left: 0.2em;
}

div.contentBody ul.toc ul.toc
{
   margin-left: 1em;
   font-size: 0.85em;
}

div.contentBody ol
{
   margin-left: 2em;
   padding-left: 0px;
}

div.contentBody ol li
{
   margin-left: 0.3em;
   list-style-type: decimal;
}

div.contentBody code
{
   font-size: 0.9em;
}

div.contentBody ul li
{
   list-style-type: none;
}

div.contentBody ul.toc li
{
   margin-bottom: 0.5em;
   font-weight: bold;
}

div.contentBody ul.toc ul.toc li
{
   margin-bottom: 0px;
   font-weight: normal;
}

div.contentBody img
{
   float: right;
   clear: right;
   position: relative;
   z-index: 1;
   margin: 5px;
   margin-left: 15px;
   margin-right: 0px;
   padding: 0px;

   border-style: solid;
   border-width: 1px;
   border-color: #CCCCCC;
}

div.contentBody p
{
   margin: 0px;
   padding: 0.5em;
   padding-left: 0px;
   padding-right: 0px;
}

div.contentBody p.examplesHeader, div.contentBody p.example
{
   font-size: 0.9em;
   margin: 0px;
   padding: 0px;
}

div.contentBody p.examplesHeader
{
   font-weight: bold;
}

div.contentBody p.example
{
   margin-left: 2em;
}

div.contentBody p.licence
{
   font-family: monospace;
   font-size: 0.85em;
   white-space: pre;
}

div.contentBody p.topLink
{
   text-align: right;
   margin: 0px;
   padding: 0px;
}