body { 
   background-color:#DEE5ED; 
}
body.navigation { background-color:#5273A4 }
body.navigation p {font-family:Helvetica,sans-serif }
H1 {font-family:Helvetica,sans-serif }
H2 {font-family:Helvetica,sans-serif }
table.navigationheader { 
  width:100%; 
  background-color:#7FB2FF;
  border-style:none; 
  padding:0px;
  text-align:center;
  border-spacing:0px;
  border-collapse:collapse
}
table.navigationheader td { 
  border:medium solid blue;
  border-color:#212E42
}
pre {
  background-color: #D0E0E0;
  margin-left: 10pt;
  margin-top: 5pt;
  margin-bottom: 5pt;
  margin-right: 10pt;
  padding: 4pt;
  border:3px groove #FFCC99
}
.screenshot {
  margin-left: 30pt;
  margin-top: 5pt;
  margin-bottom: 5pt;
}