body {
    font-family: "Lucida Grande", "Helvetica", "Arial", sans-serif;
    font-size: 80%;
    background-color: rgb(255, 248, 240);
}

code {
    display: block;

    font-family: monaco, monospaced;
    font-size: 90%;
    white-space: pre;
    white-space: pre-wrap;

    border: 1px dotted rgb(64, 60, 55);

    padding-bottom: 1em;
    padding-left: 2em;
    background-color: rgb(255, 248, 240);
}