sphinx: Set the html_theme variable explicitly.

bdarnell · bdarnell · commit c501917eba46 · 2013-03-09T22:11:58.000-05:00
This should let our custom css show on readthedocs.org.
diff --git a/website/sphinx/conf.py b/website/sphinx/conf.py
@@ -50,6 +50,7 @@
 ]
     
 html_static_path = [os.path.abspath("../static")]
+html_theme = 'default'
 html_style = "sphinx.css"
 highlight_language = "none"
 html_theme_options = dict(

Original file line number	Diff line number	Diff line change
`@@ -50,6 +50,7 @@`
`50`	`50`	`]`
`51`	`51`
`52`	`52`	`html_static_path = [os.path.abspath("../static")]`
	`53`	`+html_theme = 'default'`
`53`	`54`	`html_style = "sphinx.css"`
`54`	`55`	`highlight_language = "none"`
`55`	`56`	`html_theme_options = dict(`