sphinx.patch

   1 diff -up ./doc/advanced/content/conf.py.sphinx ./doc/advanced/content/conf.py
   2 --- ./doc/advanced/content/conf.py.sphinx       2020-05-11 04:59:26.000000000 -0400
   3 +++ ./doc/advanced/content/conf.py      2020-06-07 16:11:04.398144850 -0400
   4 @@ -4,7 +4,7 @@
   5  # -- General configuration -----------------------------------------------------
   6  # Add any Sphinx extension module names here, as strings. They can be extensions
   7  # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
   8 -extensions = ['sphinx.ext.imgmath', 'sphinxcontrib.doxylink.doxylink']
   9 +extensions = ['sphinx.ext.imgmath']
  10
  11  # Add any paths that contain templates here, relative to this directory.
  12  # templates_path = ['_templates']
  13 @@ -69,7 +69,7 @@ pygments_style = 'sphinx'
  14
  15  # The theme to use for HTML and HTML Help pages.  Major themes that come with
  16  # Sphinx are currently 'default' and 'sphinxdoc'.
  17 -html_theme = 'sphinx_rtd_theme'
  18 +html_theme = 'sphinxdoc'
  19
  20  # Theme options are theme-specific and customize the look and feel of a theme
  21  # further.  For a list of options available for each theme, see the
  22 diff -up ./doc/tutorials/content/conf.py.sphinx ./doc/tutorials/content/conf.py
  23 --- ./doc/tutorials/content/conf.py.sphinx      2020-05-11 04:59:26.000000000 -0400
  24 +++ ./doc/tutorials/content/conf.py     2020-06-07 16:10:46.555225064 -0400
  25 @@ -4,7 +4,7 @@
  26  # -- General configuration -----------------------------------------------------
  27  # Add any Sphinx extension module names here, as strings. They can be extensions
  28  # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
  29 -extensions = ['sphinx.ext.imgmath', 'sphinxcontrib.doxylink.doxylink']
  30 +extensions = ['sphinx.ext.imgmath']
  31  imgmath_dvipng_args = ['-gamma', '1.5', '-D', '110', '-bg', 'Transparent']
  32
  33  # Add any paths that contain templates here, relative to this directory.
  34 @@ -70,7 +70,7 @@ pygments_style = 'sphinx'
  35
  36  # The theme to use for HTML and HTML Help pages.  Major themes that come with
  37  # Sphinx are currently 'default' and 'sphinxdoc'.
  38 -html_theme = 'sphinx_rtd_theme'
  39 +html_theme = 'sphinxdoc'
  40
  41  # Theme options are theme-specific and customize the look and feel of a theme
  42  # further.  For a list of options available for each theme, see the