Sören Weber b1444965f4 theme: avoid javascript errors if toc isn't present #268		2022-06-12 14:06:30 +02:00
..
css	theme: add keyboard shortcuts for all header navigations #268	2022-06-07 01:35:54 +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	theme: avoid javascript errors if toc isn't present #268	2022-06-12 14:06:30 +02:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00