Sören Weber 493e23ebe1

menu: optionally disable index pages for sections #642

2023-09-21 17:23:41 +02:00

..

css

menu: optionally disable index pages for sections #642

2023-09-21 17:23:41 +02:00

fonts

theme: remove font Novacento #83

2021-11-03 19:52:55 +01:00

js

openapi: update to swagger 5.7.2 #641

2023-09-18 20:48:24 +02:00

webfonts

theme: revert fontawsome to version 5 for IE11 compat #191

2022-02-23 12:40:16 +01:00