| .. |
|
generated
|
901819359c
[update] make pygments.less
|
11 months ago |
|
js
|
d4e3a5f2f2
[refactor] webapp.py: reuse get_client_settings() method to unify preference handling before render
|
4 months ago |
|
less
|
94b6adf03d
[chore] stylelint: fix reported errors
|
3 months ago |
|
svg
|
e3e5d2bd22
Theme: all top right icons have labels including "Preferences"
|
2 years ago |
Bnyro