Updated heading design

astrosander edited
revision #7970 parent #7738 GitHub 1cbf6a5 ← older newer →

This revision changed nothing in the text.