section {
  margin: 0;
  margin-top: 2em;
  padding: 0;
}
h2 {
  font-size: 14pt;
  padding: 0;
  margin: 0;
}
p {
  margin-left: 2em;
}
span {
}
span.nav-span {
  font-weight: normal;
}
pre.synopsis {
  padding-top: 1em;
  padding-left: 4em;
  padding-bottom: 0em;
  margin: 0;
  color: black;
  font-style: monospace;
  font-size: 11pt;
  font-weight: normal;
  background-color: white;
}