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

  body { margin: 0px;
/*    background-image: url(images/background.jpg); */
    }

  #wrapper { background-image: url(images/crimson.gif);
    background-repeat: repeat-y;
    background-attachment: fixed;
/*    background-position: right top;	*/
    background-position: left top;
    }

  #mastHead { border: 2px solid rgb(220, 20, 60);
    padding: 3px;
    background-color: rgb(220, 20, 60);
    margin-left: 160px;
    position: relative;	/* added */
    color: rgb(255, 255, 255);
    }

  #linkHead { border: 2px solid rgb(220, 20, 60);
    padding: 3px;
    background-color: rgb(220, 20, 60);
    margin-left: 160px;
    position: relative;	/* added */
    color: rgb(255, 255, 255);
    }

  #linkIndex { border: 2px solid rgb(220, 20, 60);
/*    float: right;	*/
    float: left;
    padding: 3px;
    left: 0px;
    width: 150px;
    top: 0px;
    bottom: 0px;
    right: 0px;
    color: rgb(255, 255, 255);
    background-color: rgb(220, 20, 60);
    }

  #contentsBox { padding: 0px;
    margin-top: 0px;
    opacity: 1;
/*    margin-right: 0px;
    margin-left: 0px;	*/
    padding: 10px;
    margin-left: 160px;
    position: relative;	/* added */
    }

  #footerBox { border: 2px solid rgb(255, 255, 255);
    opacity: 1;
    clear: both;
    background-color: rgb(255, 255, 255);
    color: rgb(0, 0, 0);
    font-size: x-small;
    }

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

  a.nav:link {
    color: rgb(255, 255, 255);
    font-weight: bold;
    text-decoration: none;
  }

  a.nav:visited {
    color: rgb(204, 204, 204);
    font-weight: bold;
    text-decoration: none;
  }

  a.nav:hover {
    color: rgb(255, 255, 0);
    font-weight: bold;
    text-decoration: underline;
  }

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

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