An annotated screenshot of the problem as seen in CodeReview
The line-height for pre-tags in Vector is 1.1em.
This CSS rule overrides the "line-height: 1.5em;" rule for div#bodyContent.
Attached is an annotated screenshot of a pre-tag (in this case within CodeReview). In the screenshot you can see where two lines overlap eachother.
As long as there isn't an inline background color, this is barely noticeable, and only a problem if two tall-characters are right below eachother.
But when adding background colors underscores and tall characters are chopped on the bottom.
Proposed fix: Increase line-height to 1.3em.
Version: 1.20.x
Severity: normal
Attached: