From f838be05c1c2fbf5557266bac2b98aefdbadb5b0 Mon Sep 17 00:00:00 2001 From: Tao He Date: Tue, 9 May 2023 15:58:54 +0800 Subject: [PATCH] Add highlight for search terms Signed-off-by: Tao He --- docs/_templates/search.html | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 docs/_templates/search.html 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() }} + +{%- endblock regular_scripts-%}