h2, h3, h4 { margin-left: 1%; }
  h2.title { font-variant: small-caps; }

  div.sec {
    border-style: solid;
    border-width: 1px;
    border-color: #000000;
    margin: 5px;
    padding: 10px;
  }

  div.sec>div.sec {
    padding: 20px;
    border-style: dashed;
    border-width: 1px;
    border-color: #333333;
    margin: 20px;
  }

  div.sec>p, div.sec>ul {
    margin-left: 2.5%;
  }

  div.sec table, div.sec blockquote, div.sec code {
    margin-left: 2.5%
  }

  div.sec table, div.sec table tr th, div.sec table tr, div.sec table tr td {
    border-style: dotted;
    border-color: #666666;
    border-width: 1px;
  }

  img {
    display: block;
    border: none;
    margin-left: auto;
    margin-right: auto;
  }

  #buttons img, #copyright img {
    display: inline;
    margin: auto;
  }

  code {
    display: block;
    margin: .5em 5% .5em 50%;
    padding: 5px 5px 5px 15px;
    font-face: "Courier New",monospace;
    background-color: #000000;
    color: #ffffff;
  }

  #toc ul {
    list-style-type: none;
  }

  #toc ul li:hover {
    list-style-type: disc;
  }
  
  #toc ul ul li:hover {
    list-style-type: square;
  }

  p.top {
    float: right;
    position: relative;
    bottom: 30px;
    font-size: .8em;
  }

  p.top a {
    text-decoration: none;
  }


  p.dlview {
    float: right;
  }

  td, th, td p, th p {
    margin: 5px;
    padding: 0px;
    vertical-align: top;
  }