a { text-decoration: none; }
a:link, A:visited { color: Navy; }
a:hover { color: black; }
body {
  color: #555555;
  text-align: justify;
  margin-top: 50px;
  font-family: verdana, lucida sans unicode, verdana, sans, arial, helvetica, sans-serif;
}
td {
  font-size: 90%;
  padding: 5px;  }
code {
  font-size: 125%;
}
div.main {
  font-size: 90%;
  text-align: left;
  padding: 5px 10px 15px 0;
  border-top: solid 1px gray;
  border-bottom: solid 1px gray;
}