GitLab

* Update 10-official-documentation-issue.md

* Update 40-research-documentation-issue.md (#8168)

Reduced font size of headings