body {
  font-weight: normal;
  font-size: small;
  font-family: sans-serif;
  color: #495561;
  color: #495561;
  background-color: #e3e9f1;
}
div { margin: 1px 1px 1px 1px}
div.head {
  color:#c00;
  font-weight: bold;
  text-align: center;
}

div.nav {
  color: #000000;
  text-align: left;
  background-color: #bac9dc;
  padding: 2px;
  border-top: 1px solid #778899;
  border-left: 1px solid #778899;
  border-right: 1px solid #778899;
  border-bottom: 1px solid #778899;
  margin: 1px 0px 1px;
}
a { color: #4682B4; }
a:visited { color: #4682B4; }
a:active { color: #4682B4; }
div.nav a { color: #4682B4; }
span.code { color: #4682B4; font-weight: bold }
span.service { color: green; font-weight: bold }
div.block { background-color: black; border: 1px solid #202040; border-left-color: #202040; border-top-color: #202040; padding-left: 2px; padding-bottom: 1px; padding-top: 1px; margin-left: 1px; margin-right: 1px; margin-bottom: 1px; margin-top: 0px;}