body {
    font-family: monospace;
    margin: 1em;
    max-width: 800px;
}

code, pre {
    background-color: #f4f4f4;
}

p.subtitle {
    font-size: 125%;
}