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

  body { border: 5px solid rgb(112, 112, 208);
    margin: 0pt;
    padding: 30px;
    background: white none repeat scroll 0%;
    font-family: sans-serif;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    }

  a { color: rgb(80, 80, 208);
    }

  h1 { color: rgb(112, 112, 208);
    letter-spacing: 0.2em;
    text-align: center;
    width: auto;
    font-size: 20pt;
    margin-bottom: 0pt;
    }

  h2 { border-bottom: 2px dotted blue;
    margin: 1em 0pt 0.5em -0.7em;
    background: rgb(224, 224, 255) none repeat scroll 0%;
    font-size: 13pt;
    font-style: italic;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    }

  h3 { border-bottom: 2px dotted blue;
    margin: 1em 0pt 0.5em 0em;
    font-size: 10pt;
    font-style: italic;
    background-image: none;
    background-repeat: repeat;
    background-attachment: scroll;
    background-position: 0%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    }

  p { margin-top: 0pt;
    }

  div.linkbar { width: auto;
    text-align: center;
    }

  div.pagetitle { width: auto;
    text-align: center;
    font-weight: bold;
    font-size: 17pt;
    margin-bottom: 10px;
    margin-top: 10px;
    }

  pre.example { background: rgb(224, 224, 224) none repeat scroll 0%;
    margin-left: 40px;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    }

  div.exampletitle { background: rgb(208, 208, 240) none repeat scroll 0%;
    font-family: sans-serif;
    font-weight: bold;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    margin-bottom: 0pt;
    }

  ul.spaced li { margin-top: 0.7em;
    }

  a.barlink:active { background: yellow none repeat scroll 0%;
    -moz-background-clip: initial;
    -moz-background-origin: initial;
    -moz-background-inline-policy: initial;
    }

  div.footer { margin: 30px -30px -30px;
    padding: 5px;
    font-size: smaller;
    font-style: italic;
    }

  tt.mem { color: rgb(0, 0, 48);
    }

