a[href] {
  text-decoration: none;
  color: blue;
}

a[href]:hover {
  text-decoration: underline;
}

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

pre, .source, kbd, var, code, .data {
  font-weight: normal;
  font-style: normal;
  font-family: 'lucida console', monospace;
  background-color: #eee;
  border: 1px solid #ddd;
  -moz-border-radius: 1em;
}

pre {
  font-size: smaller;
  padding: .75em;
  margin: 1em 7%;
}

kbd, var, code {
  white-space: nowrap;
  padding: 0 0.25em;
}

.center {
  text-align: center;
}

.header {
  margin: 1em 0px;
}

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

.comment {
  color: gray;
}

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

var, .id {
  color: blue;
}

.keyword {
  color: #80f;
}

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

.char, .string {
  color: green;
}

.preproc {
  background: #ddd;
  position: relative;
  display: block;
}

.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;
}