body {
  font-family: sans-serif; font-size: 90%; margin: 0}
  
.menu {
  position: relative; width: 100%; padding: 10px; padding-left: 12px; margin: 0; background: #DE0031; color: white;}

.sub1 {
  background: #2E6099;}
  
.sub2 {
  background: #6288B3}
  
.menu li {
  list-style-type: none; display: inline;}

.menu a, .menu a:visited {
  color: white;}
   
h1 {
  font-size: 1.7em; font-weight: normal; margin: 0; padding: 10px;}
  
table {
  margin: 3px 8px 3px 8px; border-collapse: collapse; border: 0px; }

table td {
  padding: 2px;}
  
p {
  padding: 3px 10px 3px 10px; margin: 0;}

ul, ol {
  padding: 3px 10px 3px 30px; margin: 0}

li {
  padding: 3px 0 3px 0;}
  
.menu li {
  padding: 0;}

table.array { 
  }
  
table.array td {
  padding: 2px 5px 2px 5px; border: 1px solid #6288B3;}

table.array th {
  padding: 2px 5px 2px 5px; border: 1px solid #6288B3; background: none #6288B3; font-weight: normal; text-align: left; color: white;}

table.record td, td.record {
  padding: 2px 5px 2px 5px; border: 1px solid #6288B3; background: #EFF7FF;}

table.record tr.space td, table.array tr.space td {
  padding: 4px; height: 10px; border-width: 1px 0 1px 0; background: white;}

table.record th {
  padding: 2px 5px 2px 5px; border: 1px solid #6288B3; background: none #6288B3; font-weight: normal; text-align: left; color: white;}

table.record .nb-right {
  border-right: none}

table.record .nb-left {
  border-left: none}
  
table.record .nb-bottom {
  border-bottom: none}

table.record .nb-top {
  border-top: none}
  
div.space {
  position: relative; height: 9px; }
  
a {
  color: #DE0031}
  
a:visited {
  color: #FF6F90}
  
.actual {
  background: none #EFF7FF;}
  
form {
  margin: 0;}