html {
  height: 100%;
}

body {
  background-color: black;
  color: white;
  margin-left: 1em;
  margin-right: 1em;
  margin-bottom: 1em;
}

:link {
  color: white;
}
:visited {
  color: silver;
}
:link, :visited {
  border-bottom: dashed 1px;
  text-decoration: none;
}
:link:hover, :visited:hover {
  border-bottom: solid 1px;
}
:link img, :visited img {
  padding: 1px;
  border-style: dashed;
  border-width: 1px;
}
:link:hover img, :visited:hover img {
  border-style: solid;
  border-width: 1px;
}

h1, h2, h3, h4, h5, h6 {
  font-family: Constantia, Palatino, "Palatino Linotype", "URW Palladio L", Cochin, serif;
  font-weight: bold;
}

h1 {
  text-align: center;
}

pre, code {
  font-family: Consolas, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Lucida Console", "LucidaTypewriter", monospace;
}

pre {
  background-color: rgb(95%, 95%, 95%);
  padding: 0.5em;
  margin-left: 0.5em;
}

hr {
  color: red;
  background-color: red;
  height: 3px;
  border-color: red;
  border-width: 1px;
  border-style: outset;
}

.sitenav, .body, .body th, .body td, .body caption {
  font-family: Corbel, Lucida, "Lucida Grande", "Luxi Sans", "Lucida Sans Unicode", sans-serif;
  font-weight: normal;
}

.body, .body th, .body td, .body caption {
  background-color: white;
  color: black;
  line-height: 1.3em;
}

.body {
  padding: 1em;
}

.body {
  -webkit-border-bottom-left-radius: 1em;
  -webkit-border-bottom-right-radius: 1em;
  -moz-border-radius-bottomleft: 1em;
  -moz-border-radius-bottomright: 1em;
}

.body :link {
  color: black;
}
.body :visited {
  color: rgb(40%, 40%, 40%);
}

.sitenav {
  background-color: black;
  color: white;
  width: 100%;
  border: 0;
  border-spacing: 1px 0;
  border-collapse: collapse;
  margin-bottom: 0;
}

.sitenav th {
  background-color: white;
  color: black;
  font-size: smaller;
  margin: 0;
  border: 0;
  padding: 0;
  line-height: 1.5em;
}

.sitenav th, .sitenav :link, .sitenav :visited {
  -webkit-border-top-left-radius: 1em;
  -webkit-border-top-right-radius: 1em;
  -moz-border-radius-topleft: 1em;
  -moz-border-radius-topright: 1em;
}

.sitenav :link, .sitenav :visited {
  background-color: rgb(30%, 30%, 30%);
  color: rgb(85%, 85%, 85%);
  display: block;
  margin: 0;
  border: 0;
}

.sitenav :link:hover, .sitenav :visited:hover {
  background-color: rgb(50%, 50%, 50%);
  color: rgb(95%, 95%, 95%);
}

.footer {
  margin-top: 1em;
  font-size: smaller;
}

.footer .images {
  float: right;
}

.footer .images :link, .footer .images :visited {
    border-style: none;
}

.footer :link img, .footer :visited img {
  padding: 2px;
  border-style: none;
}

.footer :link:hover img, .footer :visited:hover img {
  padding: 1px;
  border-style: solid;
  border-color: white;
}