From bc97054b9f27985523823e1643b7a0d5febc8ee1 Mon Sep 17 00:00:00 2001
From: ChrisLovering <ChrisLovering@users.noreply.github.com>
Date: Sat, 2 Apr 2022 20:57:41 +0000
Subject: Deploying to docs from @
 python-discord/bot-core@b31c793634113fc2e6213eb8597cef8423954a88 🚀
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 _static/documentation_options.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '_static/documentation_options.js')

diff --git a/_static/documentation_options.js b/_static/documentation_options.js
index 9d4140ce..14e0797c 100644
--- a/_static/documentation_options.js
+++ b/_static/documentation_options.js
@@ -8,5 +8,7 @@ var DOCUMENTATION_OPTIONS = {
     LINK_SUFFIX: '.html',
     HAS_SOURCE: true,
     SOURCELINK_SUFFIX: '.txt',
-    NAVIGATION_WITH_KEYS: false
+    NAVIGATION_WITH_KEYS: false,
+    SHOW_SEARCH_SUMMARY: true,
+    ENABLE_SEARCH_SHORTCUTS: true,
 };
\ No newline at end of file
-- 
cgit v1.2.3