:root {
    --primary: #c90309;
    --secondary: #d65906;
}

body {
    max-width: 960px;
    margin: 0 auto;
    padding: 2% 0 4%;
    font-family: sans-serif;
    line-height: 1.4;
}

nav {
    padding: 5px 0;
    border-bottom: 2px solid var(--primary);
    text-align: center;
    font-size: 110%;
}

footer {
    margin-top: 10px;
    padding-top: 10px;
    border-top: 2px solid var(--primary);
    text-align: center;
}

a {
    color: var(--secondary);
}

hr {
    height: 2px;
    border: none;
    background-color: var(--secondary);
}

pre, code {
    background-color: #efefef;
    white-space: pre-wrap;
    hyphens: none;
}
pre {
    padding: 10px;
    border: 1px solid #aaaaaa;
}

nav a {
    text-decoration: none;
}
a.nav-active {
    color: var(--primary);
    font-weight: bold;
}