#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 {padding-left: 0;}

#content ul {list-style-type: disc; font-size: 95%;

  margin: 1em 0; padding-left: 2.5em;}

#content ul li {margin-bottom: 0.5em; line-height: 1.15em;}

#content pre {width: 100%;}

#content img {max-width: 100%;}



#content ul.nde-metadata {padding: 0 0.125em;

  list-style: none; font-size: 1.1em; color: #333;}

#content ul.nde-metadata li {margin: 0.125em 0;}

#content ul#nde-author {margin: 0.33em 0 0;}

#content ul#nde-pubmod {margin: 0 0 2em;}



#linkbar #toc {margin: 0 1px 0 -3px;

  border-left: 3px double silver; border-right: 1px solid silver;

  background: white; color: #AAA;}

#linkbar #toc li {text-indent: -0.33em;

  list-style-type: square;}



div.figure {margin: 0 0 0.66em 0;

  font-weight: bold; font-size: 90%; line-height: 1;

  color: #555;}

div.figure img {display: block; position: static; float: none;

  margin: 2px 0.5em 1px 0; border: 3px double silver;}

div.figure span {padding: 0 0.5em 1px;

  border: 1px solid silver; border-left: 3px solid silver;

  background-color: rgb(95%,95%,95%);}