.output { background-color:#FF0000; }

body { 
  background-color:lavenderblush; 
  margin-left:12pt; 
  margin-right:12pt; 
}

.header {
  background-color:a0a0b0;
  font-size:large;
}

.footer {
  border-top-style:outset;
  border-width:3pt;
  font-size:small;
}

.readOnly {
  background-color:#a0ffff;
}

dt { 
  font-weight:bold;
}

.results_header {
  font-weight:bold;
}

.links {
  margin-top:12pt;
  padding-left:20pt;padding-right:20pt;background-color:#a0a0a0;float:right;
}

.control { 
  text-align:center;border-style:groove;border-width:5pt;
  margin-top:12pt; margin-bottom:12pt;
}