html, body, div, h1, h2 { margin: 0; padding: 0; border: 0; }
body, td, select, input, li { font-family: Verdana, Helvetica, Arial, sans-serif; font-size: 13px; }
img { border:none; }
table { padding:0px;width: 100%;margin-left: -2px;margin-right: -2px;}
table.bodyTable th, table.bodyTable td {padding: 2px 4px 2px 4px;vertical-align: top;}
table.bodyTable th {color: white;background-color: #BBAABB;text-align: left;font-weight: bold;}
table.bodyTable th, table.bodyTable td {font-size: 1em;}
table.bodyTable tr.a {background-color: #DDCCDD;}
table.bodyTable tr.b {background-color: #EEDDEE;}
#leftcol {margin: 10px 0 0 5px;border: 1px solid #777777;background-color: #FFDDDD;width: 170px;float:left;overflow: auto;}
#bodycol {padding: 8px 4px 0 8px;margin-right: 1.5em;margin-left: 195px;}
#navcol {padding: 8px 4px 10px 8px;}
#navcol h5 {font-size: smaller;border-bottom: 1px solid #aaaaaa;color: #000;margin: 0;padding: 0;font-size: small;}
#navcol ul {margin: 0;padding: 0;font-size: small;}
#navcol li {list-style-type: none;background-image: none;background-repeat: no-repeat;background-position: 0 0.4em;padding-left: 16px;list-style-position: outside;line-height: 1.3em;font-size: smaller;}
.section {padding: 4px;}
#navtop {padding: 4px;	background-color: #777777;color: #FFFFFF}
#footer {border-top: 1px solid #888888;padding: 0px 0px 0px 0px;font-size: x-small;}
.pub {line-height: 1.4em;font-size: normal;padding: 5px;list-style-type: square;}
.source {border: 1px solid #AAAAAA;padding: 12px;margin: 1em 7px 1em 7px;}
.source pre {margin: 0px;padding: 0px;}
code{font-family: Courier, monospace;font-size: 13px;}
a {text-decoration: none;}
a:link {color:#3366aa;}
a:visited  {color:#4477aa;}
a:active, a:hover {color:#6699cc;}
h1 {padding: 5px 10px 5px 10px;border: 1px solid #888888;color: #880000;background-color: #F5F5F5;font-weight:bold;font-size: x-large;}
h2 {padding: 4px 4px 4px 6px;border: 1px solid #888888;color: #880000;background-color: #CCCCCC;font-weight:bold;font-size: x-large;}
h3 {padding: 4px 4px 4px 6px;border: 1px solid #AAAAAA;color: #880000;background-color: #DDDDDD;font-weight: normal;font-size: large;}
h4 {padding: 4px 4px 4px 6px;border: 1px dashed #BBBBBB;color: #880000;background-color: #F5F5F5;font-weight: normal;font-size: large;}
h5 {padding: 4px 4px 4px 6px;color: #900;font-size: normal;}
p {line-height: 1.4em;font-size: normal;}