From 78cf51e54386e55069a31932abc50fad9f53f9f6 Mon Sep 17 00:00:00 2001 From: vsr Date: Fri, 13 Mar 2020 14:57:02 +0300 Subject: [PATCH] bos #18858 Use sphinx_rtd_theme as theme for SALOME documentation built with Sphinx --- dev/cmake/source/conf.py.in | 18 +++++++++++++++++- dev/git/conf.py.in | 18 +++++++++++++++++- 2 files changed, 34 insertions(+), 2 deletions(-) diff --git a/dev/cmake/source/conf.py.in b/dev/cmake/source/conf.py.in index 9c8d1c8..74c32cf 100644 --- a/dev/cmake/source/conf.py.in +++ b/dev/cmake/source/conf.py.in @@ -27,6 +27,12 @@ import sphinx # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. extensions = [] +try: + import sphinx_rtd_theme + extensions += ['sphinx_rtd_theme'] + use_rtd_theme = True +except: + use_rtd_theme = False # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] @@ -92,7 +98,17 @@ 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' if sphinx.version_info[:2] < (1,3) else 'classic' +if use_rtd_theme: + html_theme = 'sphinx_rtd_theme' +else: + html_theme = 'default' if sphinx.version_info[:2] < (1,3) else 'classic' + +themes_options = {} +themes_options['classic'] = { + 'body_max_width':'none', + 'body_min_width':0, +} +html_theme_options = themes_options.get(html_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 diff --git a/dev/git/conf.py.in b/dev/git/conf.py.in index 02c713f..45345dd 100644 --- a/dev/git/conf.py.in +++ b/dev/git/conf.py.in @@ -27,6 +27,12 @@ import sphinx # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. extensions = [] +try: + import sphinx_rtd_theme + extensions += ['sphinx_rtd_theme'] + use_rtd_theme = True +except: + use_rtd_theme = False # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] @@ -92,7 +98,17 @@ 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' if sphinx.version_info[:2] < (1,3) else 'classic' +if use_rtd_theme: + html_theme = 'sphinx_rtd_theme' +else: + html_theme = 'default' if sphinx.version_info[:2] < (1,3) else 'classic' + +themes_options = {} +themes_options['classic'] = { + 'body_max_width':'none', + 'body_min_width':0, +} +html_theme_options = themes_options.get(html_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 -- 2.39.2