body, table {
   font-family: Verdana,Arial,Helvetica,sans-serif;
   font-size: 10pt; }

body {
   color: black;
   background-color: white;
   max-width: 800px; }

body.main {
   background-image: url(images/page_background.gif);
   background-repeat: repeat-y; }

h1 {
   font-size: 13.5pt;
   font-weight: bold;
   margin-top: 1.8em;
   margin-bottom: 1.6em; }

h2 {
   font-size: 12pt;
   font-weight: bold;
   margin-top: 2em;
   margin-bottom: 1em; }

h3 {
   font-size: 100%;
   font-weight: bold;
   margin-top: 1.7em;
   margin-bottom: 0.75em; }

ul.extended {
   margin-left: 0.8em;
   padding-left: 0.7em; }
ul.extended li {
   margin-top: 0.4em;
   margin-bottom: 0.4em; }
ul.noGap {
   margin-top:    0;
   margin-bottom: 0; }

ul.snippets {
   margin-left: 0.8em;
   padding-left: 0.7em; }
ul.snippets li {
   font-weight: bold;
   margin-top: 0.5em;
   margin-bottom: 0.5em; }

ol.extended {
   margin-left: 2.5em;
   padding-left: 0em;}

li {
   margin-top:    0.2em;
   margin-bottom: 0.2em; }

table.std {
   border-collapse: collapse;
   border: solid black 1px;
   width: 100%; }
table.std tbody {
   vertical-align: top; }
table.std td, table.std th {
   border: solid #888 1px;
   padding: 4px; }

div.tocEntry {
   font-size: 9pt;
   font-weight: bold;
   margin-top:    8px;
   margin-bottom: 8px; }
div.tocTitle {
   font-size: 9pt;
   font-weight: bold;
   margin-top:    25px;
   margin-bottom: 10px; }

div.hr {
   height: 1px;
   color: white;
   background-color: black;
   overflow: hidden;
   margin-top: 50px;
   margin-bottom: 50px; }
div.hr1 {
   border-top: 1px solid #888;
   border-bottom: 1px solid #CCC;
   overflow: hidden;
   margin-top: 25px;
   margin-bottom: 25px; }

hr.ext {
   margin-top: 20px;
   margin-bottom: 20px; }

pre {
   margin-top:0px;
   margin-bottom:0px; }

pre.indented {
   margin-left: 20px; }

table.servletViewerVersions td {
   vertical-align: baseline;
   padding-bottom: 3px; }

table.servletViewerDownload td.title {
   padding-right: 10px; }
table.servletViewerDownload td.size {
   text-align: right; }
table.servletViewerDownload td {
   padding-bottom: 5px; }

table.simple td {
   vertical-align: top; }
tr.smallgaptop td {
   padding-top: 5px; }