Sören Weber 82ba045702 topbar: move sidebar- and toc-overlay into topbar #639 ... for better modularization by keeping their whole functionality DOMwise in one place		2023-09-13 23:25:47 +02:00
..
css	topbar: move sidebar- and toc-overlay into topbar #639	2023-09-13 23:25:47 +02:00
fonts	theme: remove font Novacento #83	2021-11-03 19:52:55 +01:00
js	topbar: move sidebar- and toc-overlay into topbar #639	2023-09-13 23:25:47 +02:00
webfonts	theme: revert fontawsome to version 5 for IE11 compat #191	2022-02-23 12:40:16 +01:00