From: vsr <vsr@opencascade.com>
Date: Fri, 13 Mar 2020 11:52:29 +0000 (+0300)
Subject: bos #18858 Use sphinx_rtd_theme as theme for SALOME documentation built with Sphinx
X-Git-Tag: V9_5_0a2~8
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=6e4865533353c3c5e8ce9c52eaaf1f72fe434f1a;p=modules%2Fgui.git

bos #18858 Use sphinx_rtd_theme as theme for SALOME documentation built with Sphinx
---

diff --git a/doc/salome/gui/conf.py.in b/doc/salome/gui/conf.py.in
index fb4fa7094..c7977d170 100644
--- a/doc/salome/gui/conf.py.in
+++ b/doc/salome/gui/conf.py.in
@@ -25,6 +25,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']
+try:
+  import sphinx_rtd_theme
+  extensions += ['sphinx_rtd_theme']
+  use_rtd_theme = True
+except:
+  use_rtd_theme = False
 #add pdfbuilder to build a pdf with rst2pdf
 #extensions = ['rst2pdf.pdfbuilder']
 
@@ -100,7 +106,17 @@ 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'
+
+themes_options = {}
+themes_options['classic'] = {
+  'body_max_width':'none',
+  'body_min_width':0,
+}
+html_theme_options = themes_options.get(html_theme, {})
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".