body {
    margin: 0px;
    background-color: #111111;
    color: #eeeeee;
    font-family: sans-serif;

}

#content {
    max-width: 70em;
    margin-left: auto;
    margin-right: auto;
    /* adds space if window is extremely narrow */
    padding-left: 10px;
    padding-right: 10px;
}

.small_img {
    max-width: 20em;
}

#nav {
    max-width: 70em;
    margin-left: auto;
    margin-right: auto;
    padding-top: 10px;
    padding-bottom: 10px;
    border-bottom: solid 1px white;
}

.title {
    margin-top: 50px;
    margin-bottom: 50px;
    font-size: 200%;
    font-weight: bold;
}

h1 {
    margin-top: 30px; margin-bottom: 30px;
    border-left: solid 10px red;
    padding-left: 10px;
    border-bottom: solid 1px red;
}

/*
h2 {
    border-left: solid 10px red;
    padding-left: 10px;
    border-bottom: solid 1px red;
}
*/

code {
    background-color: #333333;
}

pre {
    margin-left: 3em;
    background-color: #333333;
}

.codetable {
    border: 0;
    margin-top: 20px;
    margin-bottom: 20px;
}

a:link    { color: #ffffff; }
a:visited { color: #888888; }

li { margin-top: 5px; margin-bottom: 5px; }