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