style.css: pre {white-space: pre}