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

2024-11-29 20:24:06 +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: shift/ctrl click a category to select multiple categories

2024-11-29 15:05:00 +01:00

svg

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

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