html body#article div#nde-content {padding: 0 5%; margin: 2em 0;}
#nde-content h1 {margin-top: 0.5em; margin-bottom: 0.25em; font-size: 175%;}
#nde-content h2 {margin: 1.25em 0 0; font-size: 133%;}
#nde-content h3 {font: bold 115% serif; font-family: inherit !important; border: 0; color: inherit;}
div.figure {margin: 0 0 0.66em 0;
  font-weight: bold; font-size: 80%;
  color: #555;}
div.figure img {display: block;
  margin: 2px 0.5em 0 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%);}