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

  body { font-family: Arial,Helvetica,sans-serif;
    }

  div#header { top: 0px;
    background-repeat: repeat-x;
    background-position: left top;
    background-image: url(http://www.cs.cmu.edu/~gattaca/seq_rep.png);
    display: block;
    position: absolute;
    width: 100%;
    left: 0px;
    max-height: 100px;
    }

  div#nav ul li div.description { display: none;
    }

  div#nav ul { padding-left: 0px;
    list-style-type: none;
    }
    
  div#content { position: absolute;
    width: 60%;
    top: 120px;
    left: 20%;
    }

  div#nav { border: 2px solid rgb(102, 102, 102);
    text-align: center;
    position: absolute;
    width: 10%;
    top: 150px;
    left: 5%;
    font-size: 125%;
    background-color: rgb(255, 237, 201);
    color: #000000;
    }

  div#nav ul { padding-left: 0px;
    list-style-type: none;
    }

  div#nav ul li:hover div.description { border: 1px dashed rgb(0, 0, 0);
    display: block;
    position: absolute;
    text-align: left;
    background-color: rgb(255, 237, 201);
    color: #000000;
    width: 100%;
    top: 150%;
    font-size: 80%;
    }

  div#nav ul li:hover div.description p { padding: 10px;
    }

  div#nav ul li { padding-bottom: 5px;
    padding-top: 5px;
    }

  div#nav ul li:hover { border: 1px solid rgb(238, 238, 238);
    background-color: rgb(192, 192, 192);
    color: #000000;
    }