body { 
 margin: 0;
 background-color: white;
 font-family: sans-serif;
 }
div.banner {
 text-align: center;
 background-color: black;
 color: white;
 }
@media print {
 div.navbar {
  display: none;
  }
 }
div.navbar {
 background-color: black;
 text-align: center;
 font-size: smaller;
 }
div.navbar a {
 padding-left: 2em;
 padding-right: 2em;
 color: white;
 }
div.navbar a:hover {
 background-color: #333333;
 }
 
div.body {
 margin: 0 2em;
 }

h2 {
 margin-left: .5em;
 }

div.footer {
 padding-top: 1em;
 font-size: small;
 text-align: center; 
 }

span#copyright {
 color: #CCCCCC;
 }

table.ServerInfo {
 border: 1px solid #000000;
 border-collapse: collapse;
}
table.ServerInfo td, table.ServerInfo th {
 border: 1px solid #000000;
 padding: .1em
 }
th[scope=row], th.row {
 text-align: right;
 }