3 commits

Author	SHA1	Message	Date
Jan Tojnar	3272afa17b	doc: Port anchors preprocessor to jq script ... Python is only pulled into the build closure by Mercurial, which might end up being removed. Let’s port the script to jq, which is more likely to stay.	2022-05-26 18:17:21 +02:00
Jan Tojnar	4de84e095d	doc: Introduce pre-processor for adding anchors to text ... It is now possible to use the following syntax to insert anchors into the text: []{#anchor-name} The anchor will allow linking to the location it is placed by appending #anchor-name to the URL. Additionally, it is possible to create a link pointing to its own location by adding text between the square brackets: [`--add-root`]{#opt-add-root}	2022-05-26 17:54:15 +02:00
Eelco Dolstra	8a97b11374	Improve margins between sections ... The default CSS puts almost no space between sections, but a lot of space between subsections. This flips that around.	2020-08-19 12:31:18 +02:00