<style>
  <!--
    p {margin-top: 12}
    pre {font-family: Courier; font-size: 1em; 
      margin-left: 2em; margin-top: 8; margin-bottom: 8}
    ul {margin-top: 10; margin-bottom: 10; margin-left: 3.5em; text-indent: -1em}
    ol {margin-top: 10; margin-bottom: 10; margin-left: 4em; text-indent: -1em}
    li ul {margin-top: 0; margin-bottom: 0; margin-left: 2em; list-style-type: disc}
    li ol {margin-top: 0; margin-bottom: 0; margin-left: 2.5em; list-style-position: inside}
    th, td {padding-left: 7; padding-right: 7}
    th.pad, td.pad {padding-left: 1em; padding-right: 1em}
    hr {width: 50%; color: slategray; margin-top: 12; margin-bottom: 12}
    span.ref {font-size: 85%; font-weight: bold; color: blue}
    span.fix {font-family: Courier; font-size: 1em}
    span.sum {}
    body {font-family: Arial}
  -->
</style>