body {
    margin: 0;
    padding: 0;
    border-width: 0 0 0 0;
    background: #fff;
  }

  #navtop, #navtop div, #navbottom, #navbottom div {
    margin: 0;
    background: #efe;
  }

  #navtop1, #navbottom1 {
    margin-left: 200px;
    padding-left: 9px;
  }

  #navtop3, #navbottom3 {
    margin-right: 200px;
    padding-right: 9px;
  }

  #ntleft {
    top: 0;
  }

  #ntleft, #nbleft {
    position: absolute;
    width: 200px;
    left: 9px;
  }

  #ntright, #nbright {
    position: absolute;
    width: 200px;
    right: 9px;
  }

  #ntright {
    top: 0;
  }

  #ntprevsec, #ntnextsec, #ntcontents, #ntglossary, #nbprevsec, #nbnextsec,
   #nbcontents, #nbglossary {
    padding: 3px;
  }

  #ntprevsec, #ntcontents, #nbprevsec, #nbcontents {
    float: left;
    width: 100%;
  }

  #ntnextsec, #ntglossary, #nbnextsec, #nbglossary {
    float: right;
    width: 100%;
  }

  #ntprevsec p, #ntnextsec p, #nbprevsec p, #nbnextsec p {
    margin-top: 0;
    margin-bottom: .5em;
    padding: 3px;
  }

  #ntcontents p, #ntglossary p, #nbcontents p, #nbglossary p {
    margin-top: .5em;
    margin-bottom: 0;
    padding: 3px;
  }

  #ntprevsec p, #ntcontents p, #nbprevsec p, #nbcontents p {
    text-align: left;
  }

  #ntnextsec p, #ntglossary p, #nbnextsec p, #nbglossary p {
    text-align: right;
  }

  #nthome p, #nthome img {
    margin-top: 0;
    text-align: center;
  }

  #nbhome p, #nbhome img {
    margin-bottom: 0;
    text-align: center;
  }

  #textbody {
    clear: both;
    margin: 30px 5px 30px 5px;
  }

  #navbottom {
    clear: both;
  }

  p.rfc img {
    vertical-align: middle;
  }

  .figure {
    border-color: black;
    border-style: solid;
    border-width: 1px;
    padding: 5px;
    margin-left: 5%;
    margin-right: 5%;
  }

  .figure p {
    margin-top: 0;
    text-align: center;
  }

  .figure img {
    margin-top: 0;
    margin-bottom: 0;
    text-align: center;
  }