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

  div.sec {
    margin: 5px;
    padding: 10px;
  }

  div.sec>div.sec {
    padding: 20px;
    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%
  }

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

  code {
    display: block;
    margin: .5em 5% .5em 5%;
  }

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

  #buttons {
    display: none;
  }

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

  p.top, p.dlview {
    display: none;
  }

  td {
    padding: 0px;
  }

  td, th {
    vertical-align: text-top;
    margin: 0px;
  }