Sören Weber 0d5ee6d1b4 mermaid: avoid leading whitespace #394 ... to avoid brittle initialization of mindmap graph		2022-11-19 00:00:31 +01:00
..
css	search: mark search results on tab #386	2022-11-18 11:04:46 +01:00
fonts	theme: remove font Novacento #83	2021-11-03 19:52:55 +01:00
images	theme: support for dark mode #175	2022-02-11 00:59:40 +01:00
js	mermaid: avoid leading whitespace #394	2022-11-19 00:00:31 +01:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00