body {
    margin-top: 5em;
    margin-bottom: 5em;
    margin-left: 1em;
    margin-right: 1em;
    max-width: 40em;
    font-family: Arial, Helvetica;
}

nav {
    /* background-color: #ccc; */
    border-top: 0.01rem solid black;
}

.crumbs ol {
    list-style-type: none;
    padding-left: 0;
    margin: 0;
    padding: 4px;
}

.crumb {
    display: inline-block;
}

.crumbs a {
    border: 0.01rem solid black;
    text-decoration: none;
    color: black;
    padding: 0 3px;
    background-color: #eee;
    box-shadow: 1.5px 1.5px #aaa;
    font-weight: bold;
}

.copyright {
    font-size: 80%;
    color: #888;
}

code {
    font-family: "Lucida Sans Typewriter", Consolas;
}

pre:has(code) {
    font-size: 12px;
}

img {
    max-width: 100%; /* to prevent overflow */
}