#content {margin: 3em 12em 0 2em; padding: 0.5em 1.5em 2em 2em;
  border-style: none;}
#content h1 {font-size: 200%; line-height: 0.95em; margin: 0;
  border-bottom: 1px solid gray; line-height: 1.15em;}
#content h2, #content h3 {font-family: Arial, sans-serif; line-height: 1.2em;}
#content h2 {font-size: 150%; margin: 2.5em 0 0.5em;}
#content h3 {font-size: 133%; margin: 1.5em 0 0.5em;}
#content p {font-size: 14px; line-height: 1.5em; padding-left: 0;}
#content ul {list-style-type: disc; font-size: 110%;
  margin: 1em 0; padding-left: 2.5em;}
#content ul li {margin-bottom: 0.5em; line-height: 1.25em;}
#content pre {width: 100%;}
#content img {max-width: 100%;}

#content ul.metadata {padding: 0 0.125em;
  list-style: none; font-size: 1.1em; color: #333;}
#content ul.metadata li {margin: 0.125em 0;}
#content ul#author {margin: 0.33em 0 0;}
#content ul#pubmod {margin: 0 0 2em;}

#content p#figure {padding: 0.3em .3em 0.3em .3em; position: static; float: none; 
   font-size: smaller; line-height: 1.5em; border-left: 1px solid silver;
   border-right: 1px solid silver; border-bottom: 1px solid silver; 
   background-color:rgb(238,239,255); margin-top: -0.15em;) 

div.figure {margin: 0.15em 0.15em 1.5em 0em;} 
div.figure img {display: block; position: static; float: none;
  border: none;}

#linkbar #toc {margin: 0 1px 0 1px; border-bottom: 2px solid;
  background: white; color: #AAA;}
#linkbar #toc li {text-indent: -0.3em;
  list-style-type: square;}

#linkbar #toc2 {margin: 0 1px 0 1px; border-bottom: 2px solid;
  background: white; color: #AAA;}
#linkbar #toc2 li {text-indent: -0.3em;
  list-style-type: square;}

#linkbar #toc3 {margin: 0 1px 0 1px; border-bottom: 2px solid;
  background: white; color: #AAA;}
#linkbar #toc3 li {text-indent: -0.3em;
  list-style-type: square;}

#linkbar #toc4 {margin: 0 1px 0 1px; border-bottom: 2px solid;
  background: white; color: #AAA;}
#linkbar #toc4 li {text-indent: -0.3em;
  list-style-type: square;}

#linkbar #toc5 {margin: 0 1px 0 1px; border-bottom: 2px solid;
  background: white; color: #AAA;}
#linkbar #toc5 li {text-indent: -0.3em;
  list-style-type: square;}

#linkbar #toc6 {margin: 0 1px 0 1px; border-bottom: 2px solid;
  background: white; color: #AAA;}
#linkbar #toc6 li {text-indent: -0.3em;
  list-style-type: square;}

div.rule {border-bottom: 1px solid; margin: 0 9em 0 9em;}