chiark / gitweb /
Use a top-to-bottom numbering scheme for generating ids of subheadings and terms...