From: Joel Brobecker <brobec...@adacore.com> This commit adjust the sphinx configuration to use the "Read The Docs" theme, which has the advantage of allowing the navigation bar (containing among other things a search bar, and the TOC) to stay fixed while scrolling the contents of the page being read. This is particularly useful to allow access to those features while reading a long page, for instance.
gcc/ada/ * doc/share/conf.py (extensions): Add 'sphinx_rtd_theme'. (html_theme): Set to 'sphinx_rtd_theme'. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/doc/share/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/doc/share/conf.py b/gcc/ada/doc/share/conf.py index bb36bfa0c6a..9ab80e7759e 100644 --- a/gcc/ada/doc/share/conf.py +++ b/gcc/ada/doc/share/conf.py @@ -92,7 +92,7 @@ if doc_name == 'gnat_rm': exclude_patterns.append('share/gnat_project_manager.rst') print('ignoring share/gnat_project_manager.rst') -extensions = [] +extensions = ['sphinx_rtd_theme'] templates_path = ['_templates'] source_suffix = '.rst' master_doc = doc_name @@ -107,7 +107,7 @@ release = get_gnat_version() pygments_style = None tags.add(get_gnat_build_type()) -html_theme = 'sphinxdoc' +html_theme = 'sphinx_rtd_theme' if os.path.isfile('adacore_transparent.png'): html_logo = 'adacore_transparent.png' if os.path.isfile('favicon.ico'): -- 2.34.1