body { margin: 0px;
    font-family: Arial;
    color: rgb(0, 0, 0);
    overflow: auto;
    padding-left: 5px;
    padding-right: 5px;
    }

.see_also    { font-size: 14px; font-family: Arial; color: #800080; font-weight: bold; 
               text-align: left; text-indent:0; margin-left:0 }
  .no_indent { text-indent: 0pt;
    margin-left: 0pt;
    margin-right: 0pt;
    }

  .normal_text { text-indent: 20px;
    text-align: justify;
    }

  span.library { color: rgb(0, 0, 128);
    font-weight: bold;
    background-color: rgb(204, 255, 255);
    }

  h2 { font-family: Arial;
    font-weight: bold;
    font-size: 13pt;
    text-align: center;
    margin-top: 24px;
    }

  p { text-indent: 20px;
    font-size: 13px;
    }

  a { color: rgb(0, 128, 0);
    }

  body { font-size: 11px;
    }

  h1 { margin: 0pt;
    padding: 0pt;
    text-align: left;
    text-indent: 0pt;
    font-size: 16px;
    font-family: Arial;
    font-weight: bold;
    background-color: rgb(255, 255, 255);
    color: rgb(0, 0, 255);
    }

  th { background-color: rgb(190, 252, 201);
    }

  table { font-size: 10pt;
    }

  h3 { font-size: 14px;
    font-family: Arial;
    font-weight: bold;
    text-align: left;
    margin-top: 12px; color:#993300
    }


span.attention { color: #FF9900; font-weight: bold }