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

  body { margin: 0px;
    padding: 0px;
    background: rgb(0, 0, 54) none repeat scroll 0% 50%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    color: rgb(255, 255, 255);
    }

  body { font-size: small;
    font-family: verdana,sans-serif;
    color: rgb(255, 255, 255);
    }

  td { font-size: small;
    font-family: verdana,sans-serif;
    color: rgb(255, 255, 255);
    }

  div#header { border-bottom: 1px solid rgb(51, 102, 255);
    padding: 22px 4% 12px;
    font-size: xx-large;
    background-image: url(Themes/default/images/catbg.jpg);
    color: white;
    background-repeat: repeat-x;
    font-family: Georgia,serif;
    height: 40px;
    background-color: rgb(136, 166, 192);
    }

  div#content { padding: 20px 30px;
    color: rgb(255, 255, 255);
    }

  div.panel { border: 1px solid rgb(51, 0, 153);
    margin: 1ex 0px 3ex;
    padding: 1.2ex;
    color: rgb(255, 255, 255);
    opacity: 1;
    background-color: rgb(0, 0, 0);
    }

  div.panel h2 { border-bottom: 1px dashed rgb(51, 102, 255);
    margin: 0px 0px 2ex;
    font-weight: bold;
    font-size: 14pt;
    padding-bottom: 3px;
    color: rgb(255, 255, 255);
    }

  div.panel h3 { border-color: rgb(51, 102, 255);
    margin: 0px 0px 1ex;
    font-weight: bold;
    font-size: 10pt;
    padding-bottom: 1px;
    color: rgb(255, 255, 255);
    }

  div.panel h4 { margin: 0px 0px 1ex;
    font-weight: normal;
    font-size: 8pt;
    padding-bottom: 1px;
    color: rgb(255, 255, 255);
    }

  div#content2 { padding: 20px 30px;
    color: rgb(255, 255, 255);
    }

  div.panel2 { border: 1px solid gray;
    margin: 1ex 0px 3ex;
    padding: 1.2ex;
    color: rgb(255, 255, 255);
    opacity: 1;
    background-color: rgb(0, 0, 102);
    }

  div.panel h2 { border-bottom: 1px dashed rgb(51, 102, 255);
    margin: 0px 0px 2ex;
    font-weight: normal;
    font-size: 14pt;
    padding-bottom: 3px;
    color: rgb(255, 255, 255);
    }

  dl { margin-left: 3ex;
    color: rgb(255, 255, 255);
    }

  dt { font-style: italic;
    color: rgb(255, 255, 255);
    }

  dd { margin-bottom: 1ex;
    color: rgb(255, 255, 255);
    }

  div.code { margin: 1ex 3ex 2ex;
    padding: 3px;
    overflow: auto;
    font-family: monospace;
    background-color: rgb(250, 250, 250);
    color: rgb(255, 255, 255);
    }

  div.code span.comment { font-style: italic;
    color: rgb(255, 255, 255);
    }