FIX: Smaller header font size for published page (PR #10398)

GitHub