div.highlight pre {
    overflow-x: auto;
    white-space: pre;
}