sphinx: Set the html_theme variable explicitly.

This should let our custom css show on readthedocs.org.
lbolla · Mar 10, 2013 · 73ed33e · 73ed33e
1 parent 169ac4e
commit 73ed33e
Showing 1 changed file with 1 addition and 0 deletions.
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(