Sören Weber 33ec4422e7 mermaid: update to 10.9.0 #797		2024-03-11 21:56:35 +01:00
..
css	mermaid: let it behave like block level element #795	2024-03-11 21:37:55 +01:00
fonts	theme: remove font Novacento #83	2021-11-03 19:52:55 +01:00
js	mermaid: update to 10.9.0 #797	2024-03-11 21:56:35 +01:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00