<style type="text/css">
  h1, h2, h3, h4, h5 { margin-top: 0em; margin-bottom: 0em; font-weight : bold; }
  h1 { font-size: 120%; }
  h2 { font-size: 90%; }
  h3 { font-size: 80%; }
  h4 { font-size: 70%; }
  h5 { font-size: 60%; }
  div.box { border: solid; border-width: thin; width: 100% }
  div.highlite { border: none; background: #FFFF00; width: 75%; }
  body { font-family: Verdana, arial, sans-serif; font-size: 80%;}
  pre { font-family: monospace; }
  h1, h2, h3, h4, h5, p, ul { font-family: Verdana, arial, sans-serif; }
  a:link { text-decoration: underline } a:hover { color: #ff0000; background: #ffff00; text-decoration: underline;}
</style>

