style change: only show horizontal scroll if needed in <pre>