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

  body { font-family: "Trebuchet MS",Arial,Helvetica,sans-serif;
    background-image: url(http://www.cs.cmu.edu/~gattaca/seq_rep-faded-noletters.png);
    background-attachment: fixed;
    background-position: left 100px;
    }

  div#content { position: absolute;
    left: 14em;
    margin-right: 30px;
    padding: 1em;
    line-height: 2.5ex;
    top: 120px;
    min-height: 600px;
    height: 600px;
    overflow: auto;
    background-color: rgb(220, 255, 220);
    border: 1px solid green;
/*  background-image: url(http://www.cs.cmu.edu/~gattaca/seq_rep-faded-noletters-green.png);
    background-attachment: fixed; */
    }

  div#content p { text-indent: 3em;
    }

  div#content a:link { color: #0000ff;
    }

  div#content a:hover { color: #ff0000;
    }

  div#content a:visited { color: #ff0505;
    }

  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;
    height: 100px;
    }

  div#nav { position: absolute;
    top: 175px;
    left: 2em;
    width: 10em;
    background-color: rgb(220, 220, 255);
    background-image: url(http://www.cs.cmu.edu/~gattaca/seq_rep-faded-noletters-blue.png);
    background-attachment: fixed;
    border: 1px solid blue;
    }

  div#nav a { text-decoration: none;
    }

  div#nav a:link { color: #000000;
    font-weight: bold;
    }

  div#nav a:visited { color: #626262;
    font-style: italic;
    }

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

  div#nav ul li { text-align: center;
    padding-top: 10px;
    padding-bottom: 10px;
    font-size: 1.5em;
    }

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

  div#nav ul li:hover { background-color: rgb(0, 0, 255);
    border-width: 3px;
    border-style: solid;
    border-color: rgb(150, 150, 255);
    margin: -3px;
    background-image: url(http://www.cs.cmu.edu/~gattaca/seq_rep-faded-noletters-deepblue.png);
    background-attachment: fixed;
    }

  div#nav ul li:hover a { color: #ffa500;
    }

  div#nav ul li:hover a span.description { display: block;
    position: absolute;
    text-align: left;
    font-size: 80%;
    width: 100%;
    left: -10px;
    top: 120%;
    background-color: rgb(255, 220, 220);
    color: #000000;
    background-image: url(http://www.cs.cmu.edu/~gattaca/seq_rep-faded-noletters-red.png);
    background-attachment: fixed;
    font-style: normal;
    font-weight: normal;
    padding: 10px;
    border: 1px solid red;
    }

  div#footer { position: absolute;
    left: 1%;
    width: 98%;
    top: 775px;
    background-color: #ffffff;
    border-color: #a5a5a5;
    border-style: solid;
    border-width: 1px;
    }

  div#footer p { text-align: center;
    }

  div#content a span.description { display: none;
    }

  div#content a:hover span.description { display: block;
    position: absolute;
    left: 2em;
    background-color: rgb(255, 220, 220);
    color: black;
    text-indent: 0em;
    padding: 5px 5px;
    margin: 10px 0px;
    border-style: dotted;
    border-width: 2px;
    border-color: red;
    }