a
 {      color: 800000;
  font-weight: bold}

body
 {background-color: ffffcc}

font
 {color: 336699}
font.header
 {color: 800000}

h1
 {      color: 800000;
  font-weight: bold}

img
 {border: thick double rgb(1,0,48)}

p
 {font-weight: bold}
p.copyright
 {text-align: left;
        font: small-caption}

td.outlined
 {border-color: rgb(1,0,48);
  border-style: double;
  border-width: thick}
td.white
 {background-color: ffffff}
td.blue
 {vertical-align: middle;
  border-color: rgb(1,0,48);
  border-style: double}