From: vsr Date: Fri, 13 Mar 2020 12:10:43 +0000 (+0300) Subject: bos #18858 Use sphinx_rtd_theme as theme for SALOME documentation built with Sphinx X-Git-Tag: V9_5_0a2~1 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=807d24db7ab742b385ebc16b44fe7d99504b9823;hp=43b157e57cd76036825fa6cce8db5d9f7eed93c2;p=modules%2Fhomard.git bos #18858 Use sphinx_rtd_theme as theme for SALOME documentation built with Sphinx --- diff --git a/doc/en/conf.py.in b/doc/en/conf.py.in index 650691b0..534809e5 100644 --- a/doc/en/conf.py.in +++ b/doc/en/conf.py.in @@ -24,6 +24,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 = ['sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.coverage', 'sphinx.ext.ifconfig'] +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,12 +98,20 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. Major themes that come with # Sphinx are currently 'default' and 'sphinxdoc'. -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' # 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 # documentation. -#html_theme_options = {} +themes_options = {} +themes_options['classic'] = { + 'body_max_width':'none', + 'body_min_width':0, +} +html_theme_options = themes_options.get(html_theme, {}) # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [] diff --git a/doc/fr/conf.py.in b/doc/fr/conf.py.in index 62fb135b..a02dfb33 100644 --- a/doc/fr/conf.py.in +++ b/doc/fr/conf.py.in @@ -24,6 +24,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 = ['sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.coverage', 'sphinx.ext.ifconfig'] +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,12 +98,20 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. Major themes that come with # Sphinx are currently 'default' and 'sphinxdoc'. -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' # 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 # documentation. -#html_theme_options = {} +themes_options = {} +themes_options['classic'] = { + 'body_max_width':'none', + 'body_min_width':0, +} +html_theme_options = themes_options.get(html_theme, {}) # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = []