/* body {border-left:4%; margin-left: 2%; margin-right: 4%; color: black; background: white; font-size=13pt; font-family: Georgia, Times, serif;}*/
/* body {border-left:4%; margin-left: 2%; margin-right: 4%; color: black; background: white; font-size=9pt; font-family: Georgia, Times, serif;}*/

html {margin: 1em; padding: 0;}
body {font: 12px Verdana, Arial, Helvetica, sans-serif;
   margin: 0; padding: 0;
   background: rgb(90%,90%,85%); color: black;}
h1 {font-size: 200%; text-transform: lowercase; letter-spacing: 3px;
   margin: 0; padding: 0.66em 0 0.33em 16%;
   background: rgb(90%,90%,85%);}
h3 {font-size: 133%; margin: 0; padding: 0 0 0 0.5em; 
   background: rgb(90%,90%,85%);}
h4 {font-size: 110%; margin: 0; padding: 0.5em 3em 1em 3em;; 
   border-bottom: 0.5px solid rgb(50%,50%,35%);
   color: rgb(50%,50%,45%);}
h1, h3, h4 {line-height: 1em;}
p {line-height: 1.5; margin: 0.5em 3em 1em 3em;}
hr {line-height: 1.0; margin: 0.5em 3em 1em 3em;}
div#sitenav {float: left; width: 20.0%; margin-top: 2.33em;
   font-size: 11px; background-color: white;
   border: 1px solid black;}
div#sitenav a {display: block; padding: 4px 8px; margin: 0; 
   text-decoration: none; text-align: left;
   border-top: 1px solid gray;}
div#sitenav a:hover {background: rgb(85%,75%,60%);}
div#sitenav h4 {background: rgb(33%,33%,33%); color: white;
   text-align: center; margin: 0 20% 0 20%; padding: 0.25em 0 0.125em 0;}
div#sidebar {float:right; top: 4em; right: 0; width: 20%;
   font-size: 11px;background-color: rgb(90%,90%,85%);margin-top: 2.33em;
	   border: 1px solid black;}
div#sidebar h4 {background: white; color: black;
   margin: 0; padding: 0.5em 0.5em 0.5em 0.5em; border-width: 0;}
div#sidebar a {display: block; padding: 8px 6px 6px 10px; margin: 0;
   border-left: 1px solid rgb(70%,70%,55%);	text-align: left;
   border-bottom: 1px solid gray; border-top: 1px solid gray;text-decoration: none;}
div#sidebar a:hover {background: rgb(85%,85%,70%);}
div#entry {margin: 0 20% 0 20%; padding: 1em 1em;}
div#entry li {margin: 0 0 0 0; padding: 1em 1em; line-height:166%;}
div#entry pre {margin: 0 4.5% 0 4.5%; padding: 1em 1em;}
div#entry a {margin: 0 0 0 0; padding: 0em 0em;}
li#col2table_ul {display:inline;width:15%;list-style: none} 
div#top {text-align:right;}