ormai a76c8e4101 Improve the layout of the search page on mobile		2023-09-19 20:15:51 +02:00
..
generated	[feature] dark theme for code highlighter in the result list	2023-09-11 12:27:56 +02:00
js	[mod] reformatted keyBindingLayouts in JS client (default, vim)	2023-09-19 08:06:06 +02:00
less	Improve the layout of the search page on mobile	2023-09-19 20:15:51 +02:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00