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

  #mastHead { border: medium none ;
    text-align: right;
    color: rgb(0, 0, 132);
    background-color: rgb(155, 183, 244);
    }

  #linkIndex { border: medium none ;
    background-repeat: no-repeat;
    background-position: center bottom;
    color: rgb(0, 0, 132);
    padding-bottom: 80px;
    background-color: rgb(222, 228, 253);
    }

  #contentsBox { border-style: none none none solid;
    border-color: -moz-use-text-color -moz-use-text-color -moz-use-text-color rgb(40, 80, 201);
    border-width: medium medium medium 2px;
    background-color: transparent;
    background-repeat: repeat-x;
    background-attachment: scroll;
    background-position: left bottom;
    }

  #linkIndex > a { border-left-width: 1px;
    border-left-color: rgb(255, 255, 255);
    padding-left: 10px;
    font-weight: bold;
    font-size: 90%;
    color: rgb(0, 0, 132);
    }

  #linkIndex > a, #linkIndex > a:link { text-decoration: none;
    color: rgb(0, 0, 132);
    }

  #linkIndex > a:visited { color: rgb(0, 0, 132);
    }

  #linkIndex > a:hover { border-left: 1px solid rgb(0, 0, 116);
    border-right: 15px solid rgb(0, 0, 116);
    background-color: lightblue;
    text-decoration: underline;
    color: rgb(51, 0, 153);
    }

  #contentsBox tt { padding: 0px 3px;
    color: navy;
    background-color: rgb(255, 221, 170);
    }

  #mastHead > h1 { padding-right: 1em;
    }

  #mastHead > h1:hover { color: rgb(211, 218, 255);
    }

  #foot { font-family: monospace;
    color: rgb(34, 119, 221);
    }