body {
      font-family: verdana, arial, helvetica, sans-serif;
      font-weight: normal;
      font-size:   12pt;
      color:       #000000;
      /*
      scrollbar-base-color:  #222222;
      scrollbar-shadow-color:  #000000;
      scrollbar-arrow-color:  #ffffff;
      background:  #ffffff;
      */
      background:  #cccccc;
   }
   a:link {
      font-family: verdana, arial, helvetica, sans-serif;
      font-weight: normal;
      font-size:   12pt;
      color: #0000ff;
      text-decoration: none;
   }
   a:visited {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style:  italic;
      font-size:   12pt;
      color: #0000ff;
      text-decoration: none;
   }
   a:active { color: red; text-decoration: none; }
   a:hover { color: black; text-decoration: underline; }
   a.basic:hover { color: #ff0000; background: #eeeecc; text-decoration: none; }
   a.leap:hover  { color: #ff0000; background: #eeeecc; text-decoration: none; }
   .qwote {
      font-family: helvetica, sans-serif;
      font-weight: normal;
      font-style: normal;
      font-size: 8pt;
   }
   .defunct {
      font-family: helvetica, sans-serif;
      font-weight: normal;
      font-style: normal;
      text-decoration: line-through;
      font-size: 8pt;
      color: #666666;
   }
   sup {
      font-family: courier;
      font-weight: normal;
      font-style: normal;
      font-size: 12pt;
      color: #000000;
   }
   pre {
      font-family: courier;
      font-weight: normal;
      font-style: normal;
      font-size: 12pt;
      color: #000000;
   }
   tt {
      font-family: courier;
      font-weight: normal;
      font-style: normal;
      font-size: 12pt;
      color: #000000;
   }
   .note {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style: normal;
      font-size: 8pt;
   }
   .note a:link {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style: normal;
      font-size: 8pt;
   }
   .note a:visited {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style: normal;
      font-size: 8pt;
   }
   .note a:active {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style: normal;
      font-size: 8pt;
   }
   .note a:hover { color: black; text-decoration: underline; }
   .hed {
      font-family: verdana, arial, helvetica, sans-serif;
      font-weight: bold;
      font-style: normal;
      font-size: 12pt;
      text-decoration: underline;
   }
   ul {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style: normal;
      font-size: 12pt;
   }
   ul td {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style: normal;
      font-size: 12pt;
   }
   th {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style: normal;
      font-size: 12pt;
   }
   select {
      font-family: verdana, arial, helvetica, sans-serif;
      font-size:   8pt;
      color:       #000000;
      /*
      scrollbar-base-color:  #222222;
      scrollbar-shadow-color:  #000000;
      scrollbar-arrow-color:  #ffffff;
      */
      background:  #dddddd;
   }
   input {
      font-family: verdana, arial, helvetica, sans-serif;
      font-size:   8pt;
      color:       #000000;
      background:  #dddddd;
   }
   .index {
      font-family: verdana, arial, helvetica, sans-serif;
      font-style: normal;
      font-size: 8pt;
   }
   a.index:link {
        color: #000000;
        text-decoration: none;
        font-family: verdana, arial, helvetica, sans-serif;
        font-size:   8pt;
        font-style:  normal;
   }
   a.index:visited {
        color: #000000;
        text-decoration: none;
        font-family: verdana, arial, helvetica, sans-serif;
        font-size:   8pt;
        font-style:  normal;
   }
   a.index:active { color: red; text-decoration: none; }
   a.index:hover { color: #ff0000; text-decoration: underline; }

   a.entry {
      font-family: times;
      font-weight: bold;
      font-size: 12pt;
      color: #0000ff;
   }
   a.totop {
      font-family: times;
      font-weight: bold;
      font-size: 12pt;
      color: #ff0000;
   }
   a.toent {
      font-family: times;
      font-weight: bold;
      font-size: 12pt;
      color: #ff0000;
   }
   a.toref {
      font-family: times;
      font-style: italic;
      font-weight: bold;
      font-size: 12pt;
      color: #003300;
   }

   .quote {
      font-family: verdana, arial, helvetica, sans-serif;
      font-size: 8pt;
      margin-left: 0;
   }
   blockquote.quote {
      font-family: verdana, arial, helvetica, sans-serif;
      font-size: 10pt;
      margin-left: 0;
   }
   span.quote {
      font-family: verdana, arial, helvetica, sans-serif;
      font-size: 10pt;
      margin-left: 0;
   }
   .big {
      font-family: verdana, arial, helvetica, sans-serif;
      font-weight: bold;
      font-style: normal;
      font-size: 12pt;
      text-decoration: underline;
   }
   .bot {
      position: absolute;
      bottom: 0;
      font-family: verdana, arial, helvetica, sans-serif;
      font-weight: normal;
      font-size:   12pt;
      color:       #000000;
      background:  #ffffff;
   }