body {
    display: flex;
    padding: 0.25em;
    background-color: #e0d0d0;
}

nav {
    padding: 10pt;
    color: silver;
    background-color: #544848;
}

nav ul {
    overflow-y: auto;
    position: sticky;
    top: 8pt;
    padding: 4pt 8pt;
    max-height: 85vh;
    border-style: groove;
    border-width: thin;
    border-color: gray;
    background-color: #382828;
    text-align: center;
    font-size: 80%;
}

nav li {
    list-style: none;
    padding: 0.5ex 0;
}

nav a {
    display: block;
    padding: 0.5ex 0.5em;
    border-color: royalblue;
    border-style: solid;
    border-width: 1pt;
    background-color: midnightblue;
    text-decoration: none;
    white-space: nowrap;
}

nav a:link {
    color: goldenrod;
}

nav a:visited {
    color: sienna;
}

nav a:hover {
    background-color: mediumblue;
    color: wheat;
}

article {
    min-width: 34em;
    max-width: 46em;
}

header {
    padding: 8pt;
    background-color: #787070;
    color: cornsilk;
}

section {
    padding: 8pt;
    background-color: #c0b0b0;
    color: black;
}

blockquote {
    padding: 0.25ex 0.5em;
    margin: 0;
    background-color: #c8b8b8;
    border-style: solid;
    border-width: thin;
    border-color: #787070;
}

blockquote pre {
    font-size: small;
    font-family: monospace;
}

footer {
    margin-top: 2pc;
    border-top: thin solid gray;
    font-size: small;
}

footer p {
    padding: 4pt 8pt;
}

section a:link {
    color: sienna;
}

section a:visited {
    color: dimgray;
}

section a:hover {
    color: chocolate;
}

table {
    background-color: #d0c0c0;
}

th {
    background-color: #c8b8b8;
    padding: 2pt 4pt;
}

td {
    padding: 2pt 4pt;
}

table,th,td {
    border: 1pt solid #787070;
    border-collapse: collapse;
}

figure img, figure img {
    margin-left: 0.125em;
    margin-right: 0.125em;
    background-color: darkgray;
    border-style: outset;
    border-width: medium;
    border-color: gray;
}

figure img:hover, figure img:hover {
    background-color: silver;
    border-style: inset;
    border-width: medium;
    border-color: gray;
}

button {
    padding: 1ex 1em;
    border-width: medium;
    background-color: lightgray;
}