sphinx: Set the html_theme variable explicitly.

This should let our custom css show on readthedocs.org.
2013-03-09 12:30:36 -05:00 · 2013-03-09 12:30:36 -05:00 · fb74354593
parent 1b578ebda6
commit fb74354593
1 changed files with 1 additions and 0 deletions
--- a/website/sphinx/conf.py
+++ b/website/sphinx/conf.py
@ -53,6 +53,7 @@ coverage_ignore_functions = [
 ]

 html_static_path = [os.path.abspath("../static")]
+html_theme = 'default'
 html_style = "sphinx.css"
 highlight_language = "none"
 html_theme_options = dict(