aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/_templates/layout.html11
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html
index 68161509..412deb20 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 %}