body {
  font-family:Verdana, Arial, Helvetica, sans-serif;
  background-color: #efefef;
}

.content { padding: .2em; background-color: white; border: 1px solid #858585;
}

*.content p { margin-left: 2em }

*.content p+ul { margin-left: 2em; font-size: 90% }

*.content p.intro { margin-left: 0em }


.toc, .links {
   border: 1px solid #858585;
   background-color: white;
}

.toc {
   float: left;
   padding: 0em .2em;
   width: 70%;
   min-width: 15em;
}

.links  {
  float:right;
  text-align:justify; margin-left: 3px;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  color: black;
  font-size:100%;
  padding: 0px 4px;
  min-height: 15em;
  width: 25%;
  max-width:  8em;
  }

.indent {margin-left: 20px}
.return {font-size: 150%}

h1 {text-align: center; font-size: 250%; margin: .1em 0em; }
h2, h3 {text-align: left; font-variant: small-caps;}
h2 {   border-bottom: 1px solid black; margin: .1em; white-space: normal}
dl {margin-left: 30px}
dt {font-weight: bold}

h2+ul { margin-left: 20px; list-style-type: none; margin-top: .4em}

.footer
{
  padding-top: .5em;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  color: black;
  font-size:80%;
  clear:both;
  float:left;
  width:90%;
}

div.links a, div.links a:active, div.links a:visited, div.links a:link
{
  color:#333; text-decoration:none; font-size: 80%
}
 
div.links a:hover
{
  color:white
}
a:hover {background: #444499; color: white;}

div.links ul
{
  list-style-type: none; margin-top: .4em; margin: 0em; padding: 0em
}


div.links li
{
  list-style-type: none; margin: .2em 0em; padding: 0em; line-height: .9em;
}

div.links:before { display: block; content: "Site Menu: " }