From e77fdcabfea5eb1ea581ce19acb00a35e745d3f8 Mon Sep 17 00:00:00 2001 From: Isaac Bennetch Date: Wed, 29 Oct 2025 10:16:28 -0400 Subject: [PATCH] Switch the theme used when building our HTML documents to the Read The Docs theme (rtd) This is more consistent with the look of our online documentation. Signed-off-by: Isaac Bennetch --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 287b38d939..35725e34d2 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -98,7 +98,7 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'default' +html_theme = 'sphinx_rtd_theme' # See: https://docs.readthedocs.io/en/stable/reference/environment-variables.html#envvar-READTHEDOCS on_rtd = os.environ.get('READTHEDOCS', None) == 'True'