html {
  font-family: Verdana, Helvetica, Arial, sans-serif;
  background: #ffffff;
  color: #000000;
}

pre.monitor {
  font-family: monospace;
  color: #a0a0a0;
  background: #000000;
}

a { background: transparent; }
a:link { color: #00518c; }
a:visited { color: #3b7093; }
a:active { color: #000000; 
           background: #00518c; }
a:hover { color: #000000; }

table.layout {
  margin-left: auto; margin-right: auto; 
}

td.navbar {
  vertical-align: top;
}  

td.main {
  padding: 1em 1em 0 1em;
  width: 400px;
}