<pre> tag whitespace tweaks.