body { 
  padding-left: 1em;
  padding-right: 1em;
  color: #303030;
  background: #f8f8f8;
}
h1 { font-size: 140% }
h2 { font-size: 120% }

dl {
  padding: 1em;
  margin: 1em;
  border: solid 2px #d0d0d0;
  background: #fdfdfd;
}

dt { font-weight: bold; }
dd {
  margin-bottom: 1em;
  font: 90% monospace;
  color: #404040;
}

.top { margin-top: 2.5em }

a img {
  padding: 2px;
  border-style: none;
}

a:hover img {
  padding: 0px;
  border-style: solid;
}

.footer {
  color: #808080;
  text-align: right
}