more margin tweaks for <pre>