6 commits

Author	SHA1	Message	Date
bjoern	e9220ce6f5	tweak help colors (#1258) ... * tweak help colors * tweak color & font-size	2020-03-09 22:16:45 +01:00
B. Petersen	36e6fff7f8	more space	2020-01-12 12:29:18 +01:00
B. Petersen	8ebb3868de	tweak toc in local-help	2020-01-11 22:40:23 +01:00
B. Petersen	58b2758504	tweak toc	2020-01-11 12:57:06 +01:00
B. Petersen	0d44765091	improve menu layout	2020-01-11 12:30:21 +01:00
B. Petersen	c7de3c9e6e	set help to generated-from-pages	2020-01-11 12:30:21 +01:00