div.main {
    width: 80%;
    margin-left: auto;
    margin-right: auto;
    padding-bottom: 100px;
}

span.code {
    white-space: pre;
    font-family: monospace;
}

span.header {
    padding-right: 10px;
}