Sören Weber ba8ed7c6d4 docs: typo, adapt no adepts		2023-10-30 21:58:38 +01:00
..
css	docs: typo, adapt no adepts	2023-10-30 21:58:38 +01:00
fonts	theme: remove font Novacento #83	2021-11-03 19:52:55 +01:00
js	mermaid: update mermaid to 10.6.0 #703	2023-10-29 18:50:50 +01:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00