/* 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;
    }

  body { background-color: rgb(0, 0, 0);
    color: rgb(255, 255, 255);
    }

  div#nav { position: absolute;
    width: 10%;
    top: 200px;
    font-family: Alba,script,sans-serif;
    font-size: x-large;
    text-align: center;
    left: 80%;
    }

  div#nav a { color: rgb(255, 255, 0);
    text-decoration: none;
    }

  div#content { position: absolute;
    width: 70%;
    top: 120px;
    left: 5%;
    }

  div#nav a:visited { color: rgb(255, 0, 0);
    text-decoration: none;
    }

  div#content a { color: rgb(190, 255, 190);
    text-decoration: none;
    font-weight: bold;
    }

  div#content a:visited { color: rgb(255, 190, 255);
    text-decoration: none;
    font-weight: bold;
    }