* {
    font-family: monospace;
    box-sizing: border-box;
    text-align: justify;
    font-size: 14px;
}

body {
    margin: 0;
    padding: 32px 32px 32px 12%;
    max-width: 65%;
    color: #111;
    background: #fff;
    line-height: 150%;
}

@media (max-width: 768px) {
    body {
        max-width: 100%;
        padding: 16px;
    }
}

a {
    color: inherit;
    text-decoration: underline;
}

a:hover {
    color: inherit;
}

nav a.active,
nav a strong,
.active {
    font-weight: bold;
}

pre {
    margin: 0;
    white-space: pre-wrap;
    word-break: break-word;
}