| .. |
|
generated
|
935aed7ca4
[feature] dark theme for code highlighter in the result list
|
2 years ago |
|
js
|
92d0c378e0
[fix] keyboard navigation / simple theme (UI)
|
2 years ago |
|
less
|
0984b00b7e
[mod] UI smooth scroll added / CSS scroll-behavior
|
2 years ago |
|
svg
|
e3e5d2bd22
Theme: all top right icons have labels including "Preferences"
|
3 years ago |
Jinyuan Huang