<!--
body { margin-left: 0; margin-right: 1em;
  color: black;  }
BODY, TH, TD { line-height: 150%; }
h1 { font: bold 2.5em Verdana;
  color: white; background-color: #000000; }
h2 { font: bold 1.7em Verdana; margin-top: 0; background-color: #C0C0C0; }
-->