body {
  background-color: #ffffff;
  color: #666666;
  font-family: arial, sans-serif;
  font-size: 0.8em;
}

td {
  font-size: 0.8em;
}

h1, h2, h3, h4, h5 {
color: #77a3bb;
font-size: 1em;
}

a:link {
  text-decoration: none;
  color: #77a3bb;
}

a:active {
  text-decoration: none;
  color: #9999aa;
}

a:visited {
  text-decoration: none;
  color: #999999;
}

a:hover {
  color: #aadbdd;
  text-decoration: none;
}

li {
  margin-top: 0.5ex;
  margin-bottom: 0.5ex;
}

#all {
  margin: 5%;
  border: 1px dashed #666666;
  padding: 5px;
}

#top {
  border-bottom: 1px solid #bcbcbc; 
  text-align: right;
  padding-bottom: 5px;
}

#next {
  margin: 5px;
}

#quot {
  padding: 10px;
  font-size: smaller;
  margin-bottom: 2ex;
}

.pre {
  font-family: monospace;
}