Subheading title was too close to the actual example. This commit
increases the size of its box. Fixes #5682.