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

p,pre {
  margin:20px 5px 5px 5px;
}

h1,h2 {
  text-align: center;
}

p.red,span.red {
  font-family: arial, lucinda, helvetica;
  color: red;
}

p.small,span.small {
  color: black;
  font-size: 80%;
}

p.tiny {
  color: black;
  font-size: 70%;
}

p.hidden {
  color: white;
  font-size: 50%;
}

b {
  color: blue;
}

span.red {
  color: red;
  font-style: italic;
}

th {
  background: #FFCC99;
}

span.even {
  color: blue;
}

span.odd {
  color: green;
}