body {
  background: white;
  color: black;
  margin-left: 1em;
  margin-right: 1em;
  font-family: sans-serif;
  text-align: justify;
}

table {
  margin-right: auto;
  margin-left: auto;
  border-collapse: collapse;
  text-align: left;
}

th, td {

}

p {
  margin-right: 1em;
  margin-left: 1em;
}

hr {
  border: 1px solid black;
}

.revhistory table {
  margin-right: auto;
  margin-left: auto;
  width: 80%;
}

th,
td {
  padding: .5ex;
}

.toc dl {
  margin-right: 1em;
  margin-left: 1em;
}

.itemizedlist p {
  margin: 0px;
}

.table .title,
.figure .title {
  background: transparent;
  color: gray;
  font-size: smaller;
}

.programlisting {
  background: silver;
  color: black;
  margin-right: 1em;
  margin-left: 1em;
  border: solid thin gray;
  padding: 1ex;
  font-family: monospace;
}

.tip,
.note,
.warning {
  border: solid 1px gray;
  padding: 1ex;
}

.tip p,
.note p,
.warning p {
  margin: 0px;
}

.tip .title,
.note .title,
.warning .title {
  margin-top: 0px;
}

.module {
  font-weight: bold;
}

.table,
.figure {
  text-align: center;
}

.programlisting {
  text-align: left;
}