:root {
    --main-text-color: black;
    --background-color: #bababa;
    --accent-color: #4c4cac;
    --nav-link-color: var(--main-text-color);
}

nav {
    display: flex;
    justify-content: space-between;
    padding-top: 1rem;
    padding-bottom: 1rem;
    margin-bottom: 3rem;
    border-bottom: 1px solid #eee;
}

nav ul {
    list-style-type: none;
    display: flex;
    margin: 0;
    padding: 0;
}

nav li {
    display: inline;
    padding-right: 1rem;
}

nav li:first-child {
    padding-left: 0;
}

nav a {
    display: inline-block;
    color: var(--nav-link-color);
}

nav a:hover {
    color: var(--nav-link-color);
}

nav a:visited {
    color: var(--nav-link-color);
}


body {
    color: var(--main-text-color);
    max-width: 640px;
    padding: 5px;
    margin: 20px auto;
    line-height: 1.5em;
    font-family: "Deja Vu Sans", Sans-Serif
}

#preamble {
    right: 0;
    top: 0;
    padding: 10px;
    font-weight: bold;
    border: 3px solid gray;
    border-radius: 3px
}

.pre-sep {
    margin: 0 0.3em
}

pre.src {
    border-left: 5px solid var(--accent-color);
    background: #eee;
    padding-left: 5px
}

footer {
    vertical-align: middle;
    text-align: center;
    padding: 5px 0 10px 0;
    border-radius: 10px 10px
}

#postamble {
    background-color: #bababa;
    border-radius: 10px;
    vertical-align: middle;
    text-align: center
}

#postamble p {
    text-align: center;
    margin: 0
}

.subtitle {
    text-align: center;
    font-style: italic;
    font-weight: bold
}