2 commits

Author	SHA1	Message	Date
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