Updated heading design

astrosander edited
revision #8717 parent #7755 GitHub 1cbf6a5 ← older newer →

This revision changed nothing in the text.