docs: Set html_theme also on rtd

RTD removed the default html theme for builds, making those without
`html_theme` set fail. Previously we set the theme only when building
locally as rtd would set it for us otherwise. Sets `html_theme`
regardless of that, hopefully fixing the builds on rtd.

Ref: readthedocs/readthedocs.org#10638

[skip ci]

Author: st-bender

docs/conf.py

@@ -70,11 +70,12 @@
      'Miscellaneous'),
 ]
 
+html_theme = "sphinx_rtd_theme"
+
 # on_rtd is whether we are on readthedocs.org
 on_rtd = getenv("READTHEDOCS", None) == "True"
 if not on_rtd:
     import sphinx_rtd_theme
-    html_theme = "sphinx_rtd_theme"
     html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
 
 exclude_patterns = [u'_build', 'Thumbs.db', '.DS_Store']