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