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

  body { margin: 0px;
    }

  #mastHead { border: 2px none rgb(41, 46, 127);
    position: fixed;
    top: 0px;
    left: 0px;
    width: 100%;
    z-index: 1;
    color: rgb(255, 255, 255);
    background-color: rgb(41, 46, 127);
    height: 90px;
    }

  #linkIndex { border: 2px none rgb(221, 0, 0);
    padding: 3px;
    position: fixed;
    left: 0px;
    top: 94px;
    width: 185px;
    }

  #contentsBox { border-style: none none none solid;
    border-color: rgb(41, 46, 127);
    border-width: 2px;
    padding: 0px 5px 0px 10px;
    position: relative;
    margin-top: 90px;
    top: 0px;
    margin-left: 195px;
    }

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

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

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

  td { border: 1px solid rgb(0, 0, 153);
    }