body {
  font-family: sans-serif;
  margin: 1em 3em;
}

h2 {
  margin-bottom: 0em;
  font-size: 200%;
}

h3 {
  margin-bottom: 0em;
  font-size: 180%;
}

h4 {
  margin-bottom: 0em;
  font-size: 160%;
}

h5 {
  margin-bottom: 0em;
  font-size: 140%;
}

pre, code {
  padding: 0em 0.5em;
}


li {
  line-height: 1.5em;
}

.author {
  font-size: 100%;
  margin-bottom: 0em;
}

div.author p {
  margin-top: 0em;
}

div.revhistory table, div.table table {
  border: 1px solid gray;
  border-collapse: collapse;
  width: 100%;
}

div.table td, th {
  padding: 0.25em 0.5em;
}

div.revhistory th, div.table th {
  background-color: #dddddd;
}

.navheader, div.navfooter {
  border: 1px solid gray;
}

.navheader table {
  border-width: 0px;
}

div.navfooter table {
  border-width: 0px;
}

div.navheader hr {
  display: none;
}

div.navfooter hr {
  display: none;
}

div.blockquote {
  font-style: italic;
}

.userfooter {
  margin-top: 1em;
  font-size: 70%;
}

.userfooter p {
  margin: 0em;
}

.caution, .warning, .note, .tip, .important {
  padding: 0.5em;
  border-left: 1px solid gray;
  border-right: 2px solid black;
  border-top: 1px solid gray;
  border-bottom: 2px solid black;
  margin: 2em 0em;
}

.caution p, .warning p, .note p, .tip p, .important p {
  margin: 0em;
}

.caution table, .warning table, .note table, .tip table, .important table {
  border: 1px solid gray;
  padding: 0.25em;
  width: 100%;
}

.figure {
  padding: 0em 0.5em;
  margin: 2em 0em;
}

.informalexample, .example {
  padding: 0.5em;
  border-left: 2px solid gray;
  margin: 2em 0em;
}

.example .title {
  margin-top: 0em;
}

.informalexample p {
  margin-top: 0em;
}

.screen {
  background-color: #eeffff;
}

.computeroutput {
  background-color: #eeffff;
  display: block;
}

.synopsis {
  background-color: #ffffdd;
  margin: 0em;
}

.calloutlist a {
  color: black;
  text-decoration: none;
}

.calloutlist table {
  width: 100%;
}

code {
  padding: 0em;
}

.accel {
  text-decoration: underline;
}