* {
    font-family: Helvetica, sans-serif;
}
nav li {
    display: inline-block;
    margin: 0 0.5em 0 0;
}
nav ul {
    box-sizing: border-box;
    padding: 0 0 0 0;
}
hr {
    border-color: black;
    border-width: 0 0 1px;
    border-style: solid;
    margin: 0;
}
main hr, nav hr {
    margin: 0 -0.5em;
}
nav, main {
    display: block;
    box-sizing: border-box;
    margin: 0 0.5em;
    padding: 0 1em;
}
body {
    box-sizing: border-box;
    margin: 0;
}
.content-column {
    display: inline-block;
    max-width: 520px;
    box-sizing: border-box;
    background-color: white;
    width: 100%;
}
pre {
    font-family: monospace;
}

button {
    font-weight: 600;
    font-size: 0.875em;
    border-radius: 2px;
    border-style: none;
    background-color: white;
    box-shadow: #0008 0px 0.5px 2px 0.5px;
    margin-top: 6px;
    margin-bottom: 2px;
    padding: 2px 6px 3px 6px;
    color: black;
    cursor: pointer;
}
html {

    background-color: #ccc;
}
p {
    line-height: 1.2em;  
}