div.main {
           left: 5%;
           width: auto;
           margin: 20px; padding: 15px;
           border: 1px dashed #888888; }
div.section {
           left: 5%;
           width: auto;
           margin: 20px; padding: 15px;
           border: 1px dashed #888888; }
div.subsection {
           left: 5%;
           width: auto;
           margin: 15px; padding: 0px;
           border: 0px dashed #888888; }
p, ul, blockquote { margin-top: 0em; margin-bottom: 0em; }
p.nonfirst { text-indent: 5mm }
h1, h2, h3 { margin-top: 0em; }
h4 { margin-top: 1em; }
h5 { margin-top: 0.5em; }
h6 { margin-top: 0.2em; }
hr { display: none; }

div.deprecated { 
                 margin: 20px 100px; padding: 0;
                 width: auto;
                 background-color: black;
                 color: red;
                 text-align: center;
                 font-size: 20pt;
                 font-family: sans;
                 font-weight: bold;
}
div.title {
           left: 5%;
           width: auto;
           margin: 20px; padding: 0;
           border: 0px dashed #888888; }
div.center { background: none; text-align: center; }
table.title {
	table-layout: fixed;
	width: 100%; margin: 0px;
        padding: 3px;
	border: dashed #888888;
	border-width: 1px;
	background-color: #DDDDB0;
	background-image: none;
}
td.titleimage {
        width: 188px;
        margin: 0px;
	padding: 5px;
	vertical-align: middle;
	border: 0px solid #888888;
	background-color: #FFFFF0;
}
td.titletext {
	margin: 0px;
	padding: 5px;
	vertical-align: middle;
	border: none;
	border-width: 0;
	background-color: #DDDDB0;
	background-image: none;
}

table.navigation {
                   table-layout: fixed;
                   border-collapse: collapse;
                   width: 100%; margin: 0px; margin-bottom: 20px;
                   padding: 0px;
                   border: 1px solid #888888;
                   background-color: #FF8800;
                   color: white; }
table.navigation a:link {  color: white; }
table.navigation a:visited {  color: #DDDDDD; }
table.navigation a:active {  color: red; }
th.sub-menu { border-left: 1px dashed #888888; }