sphinx: Set the html_theme variable explicitly.

This should let our custom css show on readthedocs.org.

diff --git a/website/sphinx/conf.py b/website/sphinx/conf.py
index 84f833e64fd53a6890aa7d5ec423c82e9291d4c3..69f47da14b9afb8bf6ab107fc5c13af17685f530 100644 (file)
--- a/website/sphinx/conf.py
+++ b/website/sphinx/conf.py
@@ -50,6 +50,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(