JJ 9b01e3c9d6 [mod] shrink new favicons in search results

2024-10-26 08:34:21 +02:00

..

generated

[update] make pygments.less

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

js

[fix] search box: clear button don't appear on mouse-copy

2024-08-15 18:58:28 +02:00

less

[mod] shrink new favicons in search results

2024-10-26 08:34:21 +02:00

svg

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

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