body {
  font-family: helvetica, sans-serif;
  font-size: 90%;
}

table {
  border-collapse: collapse;
  margin-left: 1em;
}

table, th, td {
  border: 1px solid black;
}

th, td {
  padding-left: 1em;
  padding-right: 1em;
}

img {
  border-width: 0;
}

h1 {
  width: 60%;
  padding: .3em;

  color: #22a;
  border-bottom: solid 2pt #66c;

  font-size: x-large;
  font-weight: bold;
}

h2 {
  width: 50%;
  margin-top: 2em;

  color: #66a;
  border-bottom: solid 1pt #66a;

  font-size: large;
  font-weight: bold;
}

h3 {
  width: 40%;
  margin-top: 1.5em;

  color: #66a;
}

h4 {
  margin-bottom: 0em;
  margin-left: 0.5em;
}

a {
  color: #00a;
  text-decoration: none;

  font-weight: bold;
}

a:hover {
  background: #ddf;
}

a:active {
  color: red;
}

a:visited {
  color: #73a;
}

em {
  color: #66a;
}

kbd {
  color: red;
}

dl {
  margin-left: 1em;
}

dt {
  margin-top: 0.8em;
  font-weight: bold;
}

dd {
  margin-top: 0.5em;
  margin-left: 2em;
}

ul {
  padding-left: 2em;
  margin-bottom: 0.5em;
}

ul.url_link, ul.document_link {
  list-style-type: none;
}

li {
  margin-top: 0.25em;
}

ul.document_link li {
  border-bottom: 1px solid #66a;
  width: 80%;
}

pre {
  margin-left: 2em;
  margin-right: 2em;
  padding: 0.5em;
  border: solid 1px black;

}

p {
  margin-left: 1em;
}

div.main, div.banner {
  margin-bottom: 2em;
}