Tiny style change to <pre>s in descriptions.