pre {
  line-height: 1.25em;
}

body {
  text-align: justify;
  margin: 1em;
  padding: 0px;
  background-color: white;
  color: black;
}

h1, h2, h3, h4, h5, h6 {
  margin: 0.5em 0px;
}

a {
  text-decoration: none;
  color: blue;
}

a:hover {
  text-decoration: underline;
}

div, p {
  margin: 0.5em 0px;
  padding: 0px;
}

dfn {
  font-weight: bold;
  font-style: italic;
}

pre {
  font-size: smaller;
}

pre, .source, var, code, .data {
  font-style: normal;
  font-family: monospace;
}

var, code {
  white-space: nowrap;
}

.center {
  text-align: center;
}

.header {
  margin: 1em 0px;
}

.header > * {
  margin: 0px;
  display: inline;
}

pre, .source {
  background-color: #e0e0e0;
  color: black;
  border-width: 1px;
  border-style: solid;
  border-color: gray gray black black;
}

pre.lines {
  border-right: 0px none;
}

pre, .source {
  display: block;
  padding: 1em;
}

.comment {
  color: #606060;
}

.url {
  color: #6060c0;
  font-style: normal;
}

.id {
  color: blue;
}

.keyword {
  color: #8000ff;
  font-weight: bold;
  line-height: .9em;
}

.lines {
  padding-left: 0.5em;
  padding-right: 0.5em;
  text-align: right;
}

.char, .string {
  color: green;
}

.preproc {
  position: relative;
  display: block;
  background-color: #d0d0e0;
}

.number {
  color: #c00000;
}

hr {
  height: 3px;
  background-color: black;
}

table {
  border-collapse: collapse;
}

th, td {
  padding: 0px;
}

th {
  text-align: right;
  padding-right: 0.25em;
}

td {
  vertical-align: top;
}