| .. |
|
generated
|
901819359c
[update] make pygments.less
|
1 year ago |
|
js
|
8c3f0c3d52
[fix] if image load fails on client side, show default image
|
6 months ago |
|
less
|
a7537a6935
[feat] search: add url formatting preference
|
6 months ago |
|
svg
|
e3e5d2bd22
Theme: all top right icons have labels including "Preferences"
|
3 years ago |
Markus Heiser