body, table {
   font-family: Arial, sans-serif;
   font-size: 14px; }

body {
   color: black;
   background-color: white;
   margin: 20px;
   max-width: 800px; }
body.noMenu {
   max-width: 680px; }

body.main {
   margin: 0 0 20px 0;
   max-width: none;
   background-image: url(images/page_background.gif);
   background-repeat: repeat-y; }

#leftPane {
   float: left;
   margin-left: 15px;
   width: 120px; }

#contentPane {
   position: relative;
   margin-left: 155px;
   max-width: 625px;
   padding-left: 10px;
   padding-right: 10px; }

h1 {
   font-family: Verdana, Arial, sans-serif;
   font-size: 17px;
   font-weight: bold;
   margin-top: 30px;
   margin-bottom: 26px; }

h2 {
   font-family: Verdana, Arial, sans-serif;
   font-size: 15px;
   font-weight: bold;
   margin-top: 30px;
   margin-bottom: 15px; }

h3 {
   font-family: Verdana, Arial, sans-serif;
   font-size: 100%;
   font-weight: bold;
   margin-top: 22px;
   margin-bottom: 13px; }

h2 + h3 {
   margin-top: 13px; }

ul.extended,
ul.snippets,
ul.linkList {
   margin-left: 0.9em;
   padding-left: 0.7em; }
ul.extended li {
   margin-top: 0.4em;
   margin-bottom: 0.4em; }
ul.snippets li,
ul.linkList li {
   font-weight: bold;
   font-size: 13px;
   margin-top: 0.5em;
   margin-bottom: 0.5em; }

ul.noGap {
   margin-top:    0;
   margin-bottom: 0; }

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.syntaxTitle {
   margin-top: 15px;
   margin-bottom: 10px; }
div.term {
   font-family: monospace;
   margin-left: 10px;
   margin-top: 2px;
   margin-bottom: 2px; }
div.def {
   margin-left: 30px;
   margin-top: 5px;
   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; }

pre.code {
   padding: 12px;
   background-color: #f4f4f4;
   border: 1px solid #ccc; }

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; }

td.code {
   font-family: monospace; }

a {
   text-decoration: none;
   color: #0000ee; }
a:visited {
   color: #6633cc; }
a:hover {
   text-decoration: underline; }

.hidden {
   display: none; }