On Wed, 2012-08-29 at 12:42 +0200, Felix Schwarz wrote:
Interestingly the problem seems related to HTML headlines (<h3>,
<h2>, ...) but not regular text.
Most likely, because a different font is used for each (even if not readily apparent, because they look the same).