TT { font-size: larger }
H4 { text-decoration: underline }
TABLE { margin-left: 1em }
TH { background-color: #E1E1E1 }
TD { background-color: #F1F1F1 ;
     padding-top: 0.1em;
     padding-bottom: 0.1em;
     padding-left: 2em;
     padding-right: 2em;
}
TR.silver { background-color: silver }
PRE { background-color: #F1F1F1 ;
      color: black ;
      margin-left: 1em ;
      padding-top: 0.3em;
      padding-bottom: 0.3em;
      padding-left: 1em;
      padding-right: 1em;
}