body {
   margin-left: 10%;
   margin-right: 10%;
   font-family: Arial, Helvetica, sans-serif;
   font-size: x-small;
   color: black;
   background: white;
   }

h1 {
   font-family: Times New Roman, Times, serif;
   font-style: italic;
   border-bottom: thin solid black;
   }

h4 {
   font-size: small;
   padding-top: 1em;
   border-top: 1px dotted silver;
   }

td {
   font-family: Arial, Helvetica, sans-serif;
   font-size: x-small;
   }

hr {
   height: 1px;
   width: 60%;
   color: black;
   }

a  { 
   font-weight: bold; 
   color: #336666; 
   text-decoration: none
   }
a:hover { 
   font-weight: bold; 
   color: #339999; 
   text-decoration: none
   }
a:visted { 
   font-weight: bold; 
   color: #336666; 
   text-decoration: none
   }

.toc {
   margin-top: 0em;
   margin-bottom: 0em;
   margin-left: 2em;
   }

.path {
   font-size: xx-small;
   font-weight: bold;
   padding: 0 1em;
   border: 1px solid gray;
   }

.sidebar {
   float: right;
   width: 200px;
   font-size: xx-small;
   margin: 5px;
   margin-left: 15px;
   padding: 2px;
   border: 2px gray solid;
   background: #FFFFCC
   }

.sidebar p {
   float: none;
   margin-top: 0em;
   margin-bottom: 0em;
   text-indent: .5em;
   }

p.content {
   font-weight: bold;
   text-decoration: underline;
   margin-bottom: .5em;
   }


.examplebox {
   margin: 0 2em;
   border: 1px solid gray;
   padding: 0 1em;
   background: #EEEEEE;
   }

.exampletext {
   font-family: Times New Roman, Times, serif;
   font-size: small;
   }

.examplelabel {
   margin-left: 1em;
   font-weight: bold;
   font-style: italic;
   }

.examplecitation {
   font-size: xx-small;
   text-align: right;
   }
   
.codetext {
   font-size: small;
   font-family: Courier New, Courier, monotype;
   }

.hilite {
   font-size: small;
   font-family: Courier New, Courier, monotype;
   background: lime;
   }

.exception {
   margin: 0 2em;
   border: 1px dotted red;
   padding: .5em 1em;
   }

.exceptiontitle {
   font-family: Times, Times New Roman, serif;
   font-style: italic;
   font-weight: bold;
   font-size: small;
   color: red;
   }

.lastedited {
   font-size: xx-small;
   text-align: right;
   }