From cdd379e736b5ba36bdfbf64aa01a707587438aaa Mon Sep 17 00:00:00 2001 From: Ben Darnell Date: Sat, 9 Mar 2013 12:30:36 -0500 Subject: [PATCH] sphinx: Set the html_theme variable explicitly. This should let our custom css show on readthedocs.org. --- website/sphinx/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/website/sphinx/conf.py b/website/sphinx/conf.py index 905ab4102..c6da51cc5 100644 --- a/website/sphinx/conf.py +++ b/website/sphinx/conf.py @@ -49,6 +49,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( -- 2.47.2