Jinyuan Huang 0984b00b7e [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-09-14 16:26:10 +02:00
..
generated	[feature] dark theme for code highlighter in the result list	2023-09-11 12:27:56 +02:00
js	[mod] improve handling of the hotkeys	2023-09-12 20:30:50 +02:00
less	[mod] UI smooth scroll added / CSS scroll-behavior	2023-09-14 16:26:10 +02:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00