body {
  font-family: Arial,Verdana,sans-serif;
  font-size: 1em;  
}

a {
  color: rgb(0,51,204);
  text-decoration: none;
}

a:visited {
  color: rgb(0,51,204);
}

a:hover {
  color: rgb(0,51,204);
  text-decoration: underline;
}

img {
  border: none;
}

p {
  margin-top: 0;
}

h1 a, h2 a, h3 a,
h1 a:visited, h2 a:visited, h3 a:visited {
  color: rgb(193, 39, 45);
}

h1 a:hover,
h2 a:hover,
h3 a:hover {
  color: rgb(0,0,0);
}

h1, h2, h3 {
  color: rgb(193, 39, 45);
}

h1 {
  margin-top: .4em;
  font-size: 1.7em;
}

h2 {
  font-size: 1.4em;
  font-weight: bold;
}

h3 {
  font-size: 1.2em;
  font-weight: bold;
}

h4 {
  font-size: 1em;
  font-weight: normal;
}

hr {
  height: 1px;
  border-top: solid rgb(220,220,220);
  border-bottom: solid rgb(255,255,255);
  border-width: 1px 0 0 0;
}

table {
  border-collapse: collapse;
}

#nav
{
margin-left: auto;
margin-right: auto;
margin-bottom: 40px;
border-top: 1px solid #999;
z-index: 1;
}

#nav ul
{
list-style-type: none;
text-align: center;
margin-top: -8px;
padding: 0;
position: relative;
z-index: 2;
}

#nav li
{
display: inline;
text-align: center;
margin: 0 5px;
}

#nav li a
{
padding: 1px 7px;
color: #666;
background-color: #fff;
border: 1px solid #ccc;
text-decoration: none;
}

#nav li a:hover
{
color: #000;
border: 1px solid #666;
border-top: 2px solid #666;
border-bottom: 2px solid #666;
}

#nav li a#current
{
color: #000;
border: 1px solid #666;
border-top: 2px solid #666;
border-bottom: 2px solid #666;
}

.bad { color: #a00; }
.good { color: #0a0; }
.warn { color: #660; }