html,body {font-family: arial, san-serif; font-size: 10pt; height: 100%; padding: 0; margin: 0}
  .menu { border: 1px solid rgb(153, 0, 0); }
  .menu a { text-decoration: none }

  h1 { margin: 0px; padding: 0px; }

  .menu .options { border: 1px solid rgb(153, 0, 0); margin: 0pt; padding: 0pt; background-color: rgb(255, 255, 255); list-style-type: none; }

  td.menu { width: 150px; }

  .footer {color: #666666; vertical-align: bottom; text-align: right; position:absolute; bottom: 0; right: 0; padding-right: 3px}
  .body {padding: 0.5em}
  .sidebar { float: left; text-decoration: none; list-style-type: none; padding: 0em ; margin: 0; background: #99CCFF; height: 100%; margin-right: 1em}
  .index { padding: 0em; text-decoration: none; margin: 1em}
  .title { border-bottom: thin dashed #000000; padding: 5px ; font-variant: small-caps}
  li { margin-left: 3ex; }
  .index ul { padding-left: 1ex; margin: 0; }
  .index li { marker-offset: 0px; padding-left: 1ex; padding: 0;  margin: 0; list-style-type: none }
  .index li:hover { list-style-type: disc }
  .index a { text-decoration: none; color: #000000 }
  .index a:visited { text-decoration: none; color: #000000 }
  .index a:hover { text-decoration: underline; color: #666666 }