diff --git a/docs/_templates/search.html b/docs/_templates/search.html
new file mode 100644
index 000000000000..fa05965f3ffc
--- /dev/null
+++ b/docs/_templates/search.html
@@ -0,0 +1,6 @@
+{% extends "search.html" %}
+
+{%- block regular_scripts -%}
+{{ super() }}
+<script src="{{ pathto('_static/sphinx_highlight.js', 1) }}"></script>
+{%- endblock regular_scripts-%}