Add highlight for search terms

Signed-off-by: Tao He <linzhu.ht@alibaba-inc.com>
alibaba · May 9, 2023 · f838be0 · f838be0
1 parent 17fd3f6
commit f838be0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/_templates/search.html 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-%}