body {
  background-color: #ffffff;
  color: #000000;
  margin-left: auto;
  margin-right: auto;
  width: 800px;
  padding: 1em;
  font-family: Tahoma, Geneva, sans-serif;
}

a:hover { background-color: #ffff33; }
h1, h2, h3, h4, h5, h6 { font-family: Georgia, serif; font-weight: bold; }
p { margin-left: 0.5em; }
dl { margin-left: 1.5em;}
pre { font-family: "Courier New", monospace;  padding: 0.5em;
      margin: 0.2em 1em 0.2em 3em; background-color: #efeff5;
      border: 1px solid #cfcfcf; white-space: pre; }
blockquote { margin-left: 3em; padding-left: 0.5em;  border-left: 0.3em solid #99c; margin-bottom: 0;}
a img { border: 0em; border-color: #fff; }
a.paper { font-weight: bold; }