:root {
    --foreground: #333333;
    --background: #FFFFFF;
    --blue-dark: #335EA8;
    --blue-light: #85CEEB;
    --gray-dark: #9B9C97;
    --gray-light: #EDEDED;
    --indent: 1ex;
}

body {
    font-family: sans-serif;
    font-size: 14px;
    font-variant-ligatures: common-ligatures;
    font-kerning: normal;
    background-color: var(--gray-light);
    color: var(--foreground);
}

a {
    color: var(--blue-dark);
    text-decoration: none;
}

a:hover {
    color: var(--blue-light);
}

#page {
    margin: auto;
    max-width: 800px;
    box-shadow: 0 2px 6px rgba(100, 100, 100, 0.3);
    background-color: var(--background);
}

#header {
    padding: var(--indent);
    background-color: var(--blue-dark);
    color: var(--background);
}
#header h1 {
    font-size: 200%;
    font-weight: bold;
}
#header h1 a {
    color: inherit;
    text-decoration: none;
}

#header h1 a:hover {
    color: var(--blue-light);
}

#nav, #nav > div {
    border-style: solid;
    border-color: var(--gray-dark);
}
#nav {
    display: flex;
    flex-wrap: wrap;
    border-width: 1px 0 0 1px;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}
#nav > div {
    flex-grow: 1;
    flex-basis: 0;
    padding: 1ex var(--indent);
    border-width: 0 1px 1px 0;
    background-color: var(--gray-light);
}
#nav .title {
    padding-bottom: .5ex;
    font-weight: bold;
    font-variant: small-caps;
    text-transform: lowercase;
}
#nav a {
    color: var(--foreground);
    text-decoration: none;
}
#nav a:hover {
    color: var(--gray-dark);
}
#nav ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

#main {
    padding: 0 var(--indent);
    border-bottom : 1px solid var(--gray-dark);
}
#main h2 {
    color: var(--foreground);
    margin: 1ex 0 1ex 0;
    font-weight: normal;
}
#main h3 {
    color: var(--foreground);
    margin: 1ex 0 1ex 0;
    font-weight: normal;
}
#main ul {
    padding-left: calc(var(--indent) + 1ex);
    list-style-type: square;
}

#main ul li {
    margin-top: .5ex;
    margin-bottom: .5ex;
}

#footer {
    padding: var(--indent);
    font-size: small;
}

/* max-width = 800px (width) + 2*12px (padding) + 2*8px (box shadow) */
@media (max-width: 840px) {
    body {
        margin: 0px;
    }
    #page {
        margin: 0px;
        max-width: none;
    }
    #main {
        margin: 0px;
        max-width: none;
    }
}