Sören Weber 5bebb7edd8 mermaid: update to 10.3.1 #610		2023-08-11 19:56:12 +02:00
..
css	print: avoid chroma leak for relearn-dark #605	2023-07-31 23:48:58 +02:00
fonts	theme: remove font Novacento #83	2021-11-03 19:52:55 +01:00
js	mermaid: update to 10.3.1 #610	2023-08-11 19:56:12 +02:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00