/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */

  .body, p, pre, div, li, ol, ul { font-family: Verdana;
    line-height: 120%;
    font-size: 13px;
    }

  a { font-family: Verdana;
    line-height: 120%;
    font-size: 13px;
    color: rgb(51, 0, 153);
    }

  .a:visited { color: rgb(51, 0, 153);
    font-family: verdana;
    font-size: 13px;
    line-height: 120%;
    }

  a:hover { color: rgb(204, 102, 204);
    }

  .body.table { font-family: verdana;
    font-size: 13px;
    line-height: 120%;
    padding-left: 18pt;
    }

  .contents-line { color: rgb(51, 51, 255);
    font-family: Arial,Helvetica,sans-serif;
    font-size: 12px;
    line-height: 3px;
    }

  .page-heading { font-family: Arial,Helvetica,sans-serif;
    font-weight: bold;
    font-size: 18px;
    color: rgb(0, 0, 0);
    line-height: 0%;
    padding-left: 18pt;
    }

  p.menu { border: 1px solid rgb(0, 0, 153);
    padding: 3px 6px;
    font-family: Verdana,Arial,Helvetica,sans-serif;
    font-size: 11px;
    font-weight: bold;
    width: 250px;
    text-decoration: none;
    color: rgb(0, 0, 153);
    background-color: white;
    float: left;
    }

  a.menu { border-style: solid solid solid none;
    border-color: rgb(0, 0, 153) rgb(0, 0, 153) rgb(0, 0, 153) -moz-use-text-color;
    border-width: 1px 1px 1px medium;
    padding: 3px 6px;
    font-family: Verdana,Arial,Helvetica,sans-serif;
    font-size: 11px;
    text-decoration: none;
    color: rgb(0, 0, 153);
    background-color: white;
    float: left;
    width: 120px;
    }

  a.menu:hover { color: rgb(51, 0, 153);
    background-color: rgb(187, 204, 255);
    }

  p.basemenu { font-family: Verdana,Arial,Helvetica,sans-serif;
    font-size: 11px;
    color: rgb(0, 0, 153);
    }

  .body.basemenu { font-family: verdana,arial,helvetica,sans-serif;
    color: rgb(0, 0, 153);
    font-size: 11px ! important;
    }

  a.basemenu { font-family: Verdana,Arial,Helvetica,sans-serif;
    font-size: 11px;
    color: rgb(0, 0, 153);
    }

  a.basemenu:hover { color: rgb(204, 102, 204);
    }