From 1652539d401169f77cc3d11ba545f9fc952c4b02 Mon Sep 17 00:00:00 2001
From: Rapptz <rapptz@gmail.com>
Date: Sat, 29 Jun 2019 01:31:00 -0400
Subject: [PATCH] Disable RTD search.

It's completely broken anyway.
---
 docs/_templates/layout.html | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html
index 681615097..412deb200 100644
--- a/docs/_templates/layout.html
+++ b/docs/_templates/layout.html
@@ -26,4 +26,15 @@
   {% if pagename == 'index' %}
   </div>
   {% endif %}
+
+  {%- if readthedocs %}
+  <script>
+    if (typeof READTHEDOCS_DATA !== 'undefined') {
+        if (!READTHEDOCS_DATA.features) {
+          READTHEDOCS_DATA.features = {};
+        }
+        READTHEDOCS_DATA.features.docsearch_disabled = true;
+      }
+    </script>
+  {%- endif %}
 {%- endblock %}