.no-lexing {
    background-color: #f8f8f8;
    font-family: monospace;
}