| .. |
|
generated
|
901819359c
[update] make pygments.less
|
1 year ago |
|
js
|
3ea278aff4
[feat] preferences: button to enable/disable all engines
|
1 year ago |
|
less
|
916739d6b4
[mod] simple theme: drop img_src from default results
|
1 year ago |
|
svg
|
e3e5d2bd22
Theme: all top right icons have labels including "Preferences"
|
2 years ago |
Markus Heiser