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

  #navlist { border-right: 0.2em solid rgb(0, 0, 93);
    border-bottom: 0.2em solid rgb(51, 204, 255);
    padding: 0pt 1px;
    background: rgb(17, 119, 170) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    color: white;
    margin-left: 0pt;
    font-style: normal;
    font-variant: normal;
    line-height: normal;
    font-size-adjust: none;
    font-stretch: normal;
    border-top-color: rgb(0, 0, 153);
    font-family: Tahoma;
    font-size: 9px;
    font-weight: bold;
    position: relative;
    width: 12.5em;
    }

  #navlist li { margin: 0pt;
    list-style-type: none;
    list-style-image: none;
    list-style-position: outside;
    font-size: 1em;
    width: 12.4em;
    }

  #navlist a { border-style: solid;
    border-color: rgb(85, 187, 221) rgb(0, 51, 85) rgb(0, 102, 136) rgb(8, 240, 255);
    border-width: 1px 1px 3px 3px;
    padding: 0.2em 0.5em 0.4em 0.65em;
    background: rgb(51, 153, 204) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    display: block;
    text-decoration: none;
    color: white;
    margin-top: 0.1em;
    margin-bottom: 0.1em;
    }

  #navlist a#current { border-color: rgb(85, 187, 221) rgb(0, 51, 85) rgb(0, 102, 136) rgb(255, 204, 102);
    }

  #navlist a { width: 99%;
    }

  #navlist a { voice-family: inherit;
    width: 12.5em;
    }

  #navcontainer > #navlist a { width: auto;
    }

  #navlist a:hover, #navlist a#current:hover { border-color: rgb(0, 102, 153) rgb(102, 204, 255) rgb(85, 187, 221) rgb(255, 204, 0);
    padding: 0.4em 0.35em 0.25em 0.9em;
    background: rgb(34, 136, 187) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    }

  #navlist a:active, #navlist a#current:active { border-color: rgb(0, 102, 153) rgb(102, 204, 255) rgb(85, 187, 221) white;
    padding: 0.4em 0.35em 0.25em 0.9em;
    background: rgb(17, 119, 170) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    }