CSS changes to <pre>