ormai 8de723e2fd Improve the layout of the search page on mobile		2023-10-19 18:04:05 +02:00
..
generated	[feature] dark theme for code highlighter in the result list	2023-09-13 16:02:53 +02:00
js	[mod] reformatted keyBindingLayouts in JS client (default, vim)	2023-10-19 18:03:08 +02:00
less	Improve the layout of the search page on mobile	2023-10-19 18:04:05 +02:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00