diff --git a/src/doc/conf.py b/src/doc/conf.py index 0a7eefd8d1059ea11400daa023d21ec25bfdb37e..7ac24dd1e1e76772a40d30a42419378c9d289f2b 100644 --- a/src/doc/conf.py +++ b/src/doc/conf.py @@ -29,6 +29,8 @@ version = '0.X.Y' release = '0.x.y-beta-rc2' +import sphinx-rtd-theme + # -- General configuration --------------------------------------------------- # If your documentation needs a minimal Sphinx version, state it here. @@ -45,6 +47,7 @@ extensions = [ 'sphinx.ext.napoleon', # For Google style docstrings "recommonmark", # For markdown files. "sphinx.ext.autosectionlabel", # Allow reference sections using its title + "sphinx-rtd-theme", ] # Add any paths that contain templates here, relative to this directory. @@ -80,7 +83,7 @@ pygments_style = None # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # -html_theme = 'alabaster' +html_theme = 'sphinx-rtd-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/src/test/docker/Dockerfile b/src/test/docker/Dockerfile index 84564843306b0dd9ce08cec00b26b59a79afc10b..08a2a0884d1f154bb941388075b2bdd915125f99 100644 --- a/src/test/docker/Dockerfile +++ b/src/test/docker/Dockerfile @@ -5,7 +5,7 @@ RUN apt-get update && \ python3-pip screen libpam0g-dev unzip curl shunit2 \ python3-sphinx \ && \ - pip3 install javasphinx recommonmark + pip3 install javasphinx recommonmark sphinx-rtd-theme # Alternative, if javasphinx fails because python3-sphinx is too recent: # (`_l` not found):