doc_builder: make it possible to use a different default theme

Author: xrmx

readthedocs/doc_builder/backends/sphinx.py

@@ -98,6 +98,8 @@ def get_config_params(self):
             downloads = api.version(self.version.pk).get()['downloads']
 
         data = {
+            'html_theme': 'sphinx_rtd_theme',
+            'html_theme_import': 'sphinx_rtd_theme',
             'current_version': self.version.verbose_name,
             'project': self.project,
             'version': self.version,

readthedocs/doc_builder/templates/doc_builder/conf.py.tmpl

@@ -45,17 +45,17 @@ using_rtd_theme = (
         html_theme in ['default'] and
         # Allow people to bail with a hack of having an html_style
         not 'html_style' in globals()
-    ) or 'html_theme' in globals()
+    ) or 'html_theme' not in globals()
 )
 if using_rtd_theme:
-    import sphinx_rtd_theme
-    html_theme = 'sphinx_rtd_theme'
+    theme = __import__('{{ html_theme_import }}')
+    html_theme = '{{ html_theme }}'
     html_style = None
     html_theme_options = {}
     if 'html_theme_path' in globals():
-        html_theme_path.append(sphinx_rtd_theme.get_html_theme_path())
+        html_theme_path.append(theme.get_html_theme_path())
     else:
-        html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+        html_theme_path = [theme.get_html_theme_path()]
 
 if globals().get('websupport2_base_url', False):
     websupport2_base_url = '{{ api_host }}/websupport'