From 5ed1d4cab585f0d33f4eefac72f65f8dbf203a05 Mon Sep 17 00:00:00 2001 From: George Wang Date: Thu, 4 Jan 2024 11:59:56 -0500 Subject: [PATCH] explicitly set html_theme = "sphinx_rtd_theme" --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 884acce..1641208 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -83,7 +83,7 @@ primary_domain = 'c' # 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" html_style = '/default.css' # Theme options are theme-specific and customize the look and feel of a theme