From 044106e81aaf6265f2f4ded79eafc0ebdb14ebc7 Mon Sep 17 00:00:00 2001 From: ionutboangiu Date: Tue, 27 Jun 2023 02:52:11 -0400 Subject: [PATCH] Fix rtd search function By adding the theme to the extension list in conf.py. --- docs/conf.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 976a4287a..d322c5937 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -28,7 +28,8 @@ import sys, os extensions = [ 'sphinx.ext.todo', 'sphinx_copybutton', - 'sphinx_tabs.tabs' + 'sphinx_tabs.tabs', + 'sphinx_rtd_theme' ] # Add any paths that contain templates here, relative to this directory.