Sören Weber 8f6e091a65 mermaid: header is showing up in FF #311		2022-07-17 19:42:07 +02:00
..
css	theme: remove most special cases for PRINT output format #308	2022-07-09 18:42:20 +02: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: header is showing up in FF #311	2022-07-17 19:42:07 +02:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00