From df9c7018644d06964a88d72c2e093f60dc9af071 Mon Sep 17 00:00:00 2001 From: krzychb Date: Thu, 2 Aug 2018 22:10:33 +0200 Subject: [PATCH] Removed redundant code to configure 'sphinx-rtd-theme' for documentation --- docs/conf_common.py | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/docs/conf_common.py b/docs/conf_common.py index 560e4e639..fbed3a754 100644 --- a/docs/conf_common.py +++ b/docs/conf_common.py @@ -167,7 +167,7 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'default' +html_theme = 'sphinx_rtd_theme' # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the @@ -326,19 +326,6 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False -# -- Use sphinx_rtd_theme for local builds -------------------------------- -# ref. https://github.com/snide/sphinx_rtd_theme#using-this-theme-locally-then-building-on-read-the-docs -# -# on_rtd is whether we are on readthedocs.org -on_rtd = os.environ.get('READTHEDOCS', None) == 'True' - -if not on_rtd: # only import and set the theme if we're building docs locally - import sphinx_rtd_theme - html_theme = 'sphinx_rtd_theme' - html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] - -# otherwise, readthedocs.org uses their theme by default, so no need to specify it - # Override RTD CSS theme to introduce the theme corrections # https://github.com/rtfd/sphinx_rtd_theme/pull/432 def setup(app):