Sören Weber 24726ef4b0

search: index file rename #888

2024-10-11 16:45:34 +02:00

..

css

include: don't erroneously remove headings if hidefirstheading=true #914

2024-09-12 14:58:56 +02:00

fonts

theme: remove font Novacento #83

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

js

search: index file rename #888

2024-10-11 16:45:34 +02:00

webfonts

icon: update Font Awesome to 6.6.0 #881

2024-08-02 11:19:51 +02:00