div.code, div.lit, span.lit {
    white-space: pre; font-family: monospace; font-size: 90%;
}
div.code, div.lit {
    margin-top: 0.5em; margin-bottom: 0.5em;
    margin-left: 1em;
}
div.code {
    border-left: 0.1em solid gray; padding-left: 0.5em;
}
div.p div.lit, div.p div.code { margin-top: 0; margin-bottom: 0;  }