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