Fixes #3326 (margin-top for headers as section titles).