[Git][ghc/ghc][wip/hugepages] 1537 commits: haddock: decrease margin on top of small headings