From 6252dbd7c16a3a433a5cfdccfae59f6b6e9070e4 Mon Sep 17 00:00:00 2001 From: Eugen Wintersberger Date: Thu, 4 Jan 2018 10:38:36 +0100 Subject: [PATCH] Changed documentation style to bizstyle This style is shipped with most sphinx installations and thus does not introduce additional dependencies. Update #110 --- doc/source/conf.py.in | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/doc/source/conf.py.in b/doc/source/conf.py.in index 7d8f1c5f3d..d097b0d00c 100644 --- a/doc/source/conf.py.in +++ b/doc/source/conf.py.in @@ -35,8 +35,6 @@ extensions = [ 'sphinx.ext.ifconfig', ] -import sphinx_rtd_theme - # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] @@ -125,7 +123,7 @@ todo_include_todos = True # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # -html_theme = 'sphinx_rtd_theme' +html_theme = 'bizstyle' # 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 @@ -134,7 +132,7 @@ html_theme = 'sphinx_rtd_theme' # html_theme_options = {} # Add any paths that contain custom themes here, relative to this directory. -html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +#html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # The name for this set of Sphinx documents. # " v documentation" by default.