DavHau 0859b0dfdf docs: improve table of contents for options ... - increase width of toc - show full option path in toc - no nesting This simplifies navigation on option pages a lot.		2024-07-11 15:56:58 +00:00
..
partials	docs: improve table of contents for options	2024-07-11 15:56:58 +00:00
reference_header.html	docs: add extra header to reference docs	2024-06-15 11:53:27 +02:00
reference_options.html	reference website: render all options with same heading size	2024-07-11 14:41:18 +00:00