Jinyuan Huang 73fd5b6ab6 [mod] UI smooth scroll added / CSS scroll-behavior ... This PR improves the UX by making auto-scroll more smoother. The css is changed so all the auto-scroll will be smoother but User-scroll will not be influenced. The scroll-behavior CSS property sets the behavior for a scrolling box when scrolling is triggered by the navigation or CSSOM scrolling APIs.[1] [1] https://developer.mozilla.org/en-US/docs/Web/CSS/scroll-behavior		2023-10-19 18:01:18 +02:00
..
generated	[feature] dark theme for code highlighter in the result list	2023-09-13 16:02:53 +02:00
js	[mod] improve handling of the hotkeys	2023-09-13 16:03:12 +02:00
less	[mod] UI smooth scroll added / CSS scroll-behavior	2023-10-19 18:01:18 +02:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00