From 08cb4b86d2652ddacf4fea9b528867720b78fc78 Mon Sep 17 00:00:00 2001 From: Jonathan Wren Date: Sat, 26 Dec 2020 15:05:16 -0800 Subject: [PATCH] Fix search on docs site --- docs_theme/main.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs_theme/main.html b/docs_theme/main.html index 4291adce..7d18ba8d 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -1,7 +1,7 @@ {% extends "base.html" %} {% block search_button %} -