Add the theme that was used for Jedi.

2026-10-10 07:15:49 +08:00 · 2017-05-10 09:07:05 -04:00
1 parent 1af1f2d2bd
commit 36e0c047ae
@@ -0,0 +1,9 @@
+[theme]
+inherit = basic
+stylesheet = flasky.css
+pygments_style = flask_theme_support.FlaskyStyle
+
+[options]
+index_logo = 
+index_logo_height = 120px
+touch_icon =