mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-06 05:54:25 +08:00
10 lines
162 B
Plaintext
10 lines
162 B
Plaintext
[theme]
|
|
inherit = basic
|
|
stylesheet = flasky.css
|
|
pygments_style = flask_theme_support.FlaskyStyle
|
|
|
|
[options]
|
|
index_logo =
|
|
index_logo_height = 120px
|
|
touch_icon =
|