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

  body { border-style: none;
    margin: 0px;
    }

  #mastHead { border-style: none none ridge;
    border-color: rgb(192, 192, 192) rgb(192, 192, 192) rgb(204, 204, 204);
    border-width: 4pt;
    position: fixed;
    top: 0px;
    left: 0px;
    width: 100%;
    height: 100px;
    z-index: 1;
    background-color: rgb(204, 204, 204);
    }

  #linkIndex { border-style: none ridge none none;
    border-color: rgb(255, 255, 153) rgb(204, 204, 204) rgb(255, 255, 153) rgb(255, 255, 153);
    border-width: 2px 4pt 2px 2px;
    padding: 3px;
    position: fixed;
    left: 0px;
    top: 104px;
    width: 200px;
    }

  #contentsBox { border: 0px none rgb(192, 192, 192);
    padding: 0px 5px;
    position: relative;
    margin-top: 104px;
    margin-left: 215px;
    }

  #linkIndex > a { padding: 1px 0px;
    display: block;
    }

  pre.code { border: 0px none rgb(221, 221, 221);
    margin: 5px 25px;
    padding: 3px 8px;
    }

  dt { border-style: none;
    margin-top: 1em;
    color: rgb(221, 0, 0);
    }