From 7930d9750a4de3e715be512b0e006ff16db05b01 Mon Sep 17 00:00:00 2001 From: Jonathan Wren Date: Sat, 26 Dec 2020 15:23:01 -0800 Subject: [PATCH] Fix search on docs site (#1133) --- 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 %} -