issue10622: fix superflous scrollbar on the right side of <pre> boxes in the

generated html docs.  visible in chrome, possibly other webkit browsers.