body {
    font-family: Verdana,Arial;
    font-size: 8pt;
    line-height: 10pt;
    color: #FF0000;
    background: #EAEAF8;
    link="green";
    vlink="green";
    /* margin-left: 0px; */
  }

  a {
    /* text-decoration: "none"; */
  }

  div.a {
    padding-left: 0px;
    font-family: Verdana,Arial;
    font-weight: bold;
    font-size: 8pt;
    line-height: 11pt;
    color: black;
  }

  div.b {
    padding-left: 12px;
    font-family: Verdana,Arial;
    font-weight: normal;
    font-size: 8pt;
    line-height: 11pt;
    color: red;
  }

  div.s {
    font-size: 5pt;
    line-height: 7pt;
  }

  a:link {text-decoration: none; color: black;}
  a:visited {text-decoration: none; color: black;}
  a:active {text-decoration: none}
  # a:hover {text-decoration: underline overline; color: red;}
  a:hover {text-decoration: underline; color: red;}