body {
    font-family: sans-serif;
    margin: 0;
    background-color: white;
    color: black;
}

#menu {
    float: left;
    padding: 0.2em 0.2em 400px 0.2em; /* gradient.png */
    width: 8em;
    background: #7F7FFF;
    text-align: right;
    background: url(gradient.png);
    background-repeat: repeat-x;
}

#menu h2 {
    margin: 0;
    padding: 0;
    padding-right: 0.5em;
    font-size: 100%;
}

#menu a {
    color: #9F2F2F;
    text-decoration: none;
}

#menu a:visited {
    color: #3F3FBF;
}


#menu ul {
    margin: 0;
    padding: 0 0.5em 0.5em 0;
}

#menu ul li {
    list-style-type: none;
}

#body {
    padding: 0.2em 0 0 0;
    margin: 0 0 0 9em;
    width: 66ex;
}

#body h1 {
    border-bottom: 2px solid #7F7FFF;
    text-align: right;
}

#body h1, #body h2 {
    margin: 0;
    padding: 0;
}

#body .screenshot {
    float: right;
    width: 250px; /* thumbnail width */
}

#body a.screenshot {
    color: black;
    text-decoration: none;
    text-align: center;
    margin: 0 0 0.2em 0.2em;
}

#body .screenshot img {
    border: 0;
}

#footer {
    text-align: right;
    font-size: x-small;
    border-top: 1px solid black;
}

#footer hr {
    display: none;
}

/* Emacs Lisp syntax */

pre {
    margin: 0 1em 1em 1em;
    padding: 0.5em 0.5em 0.5em 0.5em;
    background: #D6D6D6;
    border: 1px solid #2F2F2F;
}

.string, .doc {
    color: #429C42;
}

.keyword {
    color: #4186BE;
}

.comment-delimiter {
    color: #9E1828;
}

.comment {
    color: #9E1828;
}

.function-name {
    color: #515181;
}