Sören Weber 2245d8050a mermaid: show zoom button on mobile only if zoomed #691		2023-10-27 00:55:48 +02:00
..
css	mermaid: show zoom button on mobile only if zoomed #691	2023-10-27 00:55:48 +02:00
fonts	theme: remove font Novacento #83	2021-11-03 19:52:55 +01:00
js	mermaid: show zoom reset button always on mobile #691	2023-10-27 00:30:30 +02:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00