.verb {
  font-family: Courier, Monaco, monospace;
  color: #000;
  font-size: 110%;
}

li p {
  margin-bottom: 5px;
}

h2 {
  margin-bottom: 0.5em;
}

#content h2 {
  margin-left: 2em;
}

#content h3 {
  margin-left: 3em;
}

#content h4, #content h5 {
  margin-left: 4em;
}

#content p, #content ul, #content ol, #content pre {
  width: 592px;
  margin-left: auto;
  margin-right: auto;
}

.center {
  text-align: center;
}

.docnav {
  clear: both;
  text-align: right;
  padding: 0.5em;
}

.docdownload {
  text-align: right;
  padding: 0;
  font-weight: bold;
  font-size: 110%;
}

.fcolorbox, .colorbox {
  display: block;
  width: 80%;
  padding: 0.8em !important;
  text-align: left;
}

.svgimg {
  display: block;
  margin: 30px auto 15px auto;
}

.sectionnumber {
  margin-right: 0.5em;
}

nav p {
  margin-bottom: 5px;
  margin-left: 2em;
}

a.doctoc2 {
  display: inline-block ;
  margin-left: 0;
  margin-top: 0.5em;
  text-indent: -.5em ;
  font-weight: bold ;
}

a.doctoc3 {
  display: inline-block ;
  margin-left: 2em ;
  text-indent: -.5em ;
}

a.doctoc4 {
  display: inline-block ;
  margin-left: 4em ;
  text-indent: -.5em ;
}

a.doctoc5 {
  display: inline-block ;
  margin-left: 6em ;
  text-indent: -.5em ;
}

a.doctoc6 {
  display: inline-block ;
  margin-left: 8em ;
  text-indent: -.5em ;
}