Bnyro a7537a6935 [feat] search: add url formatting preference

2024-12-01 13:08:50 +01:00

..

generated

[update] make pygments.less

2024-05-10 10:00:31 +02:00

js

[chore] search.js: remove leftovers from shift to multiselect categories PR

2024-11-29 20:24:06 +01:00

less

[feat] search: add url formatting preference

2024-12-01 13:08:50 +01:00

svg

Theme: all top right icons have labels including "Preferences"

2022-07-02 10:04:35 +02:00