Issue #10: Styling of headings