default.css: Change <pre> design
Adjust CSS