.. |
generated
|
901819359c
[update] make pygments.less
|
11 months ago |
js
|
45f03f1902
[fix] search box: clear button don't appear on mouse-copy
|
8 months ago |
less
|
421c131707
[refactor] simple theme: *.less - replace hardcoded colors
|
7 months ago |
svg
|
e3e5d2bd22
Theme: all top right icons have labels including "Preferences"
|
2 years ago |