From 6e4f48aaddc84562f594289979c531b1fe59a97e Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Thu, 16 Mar 2023 16:34:18 +0100
Subject: [PATCH] Highlight search string on page
---
doc.zih.tu-dresden.de/mkdocs.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc.zih.tu-dresden.de/mkdocs.yml b/doc.zih.tu-dresden.de/mkdocs.yml
index 098c08b74..d05959ffa 100644
--- a/doc.zih.tu-dresden.de/mkdocs.yml
+++ b/doc.zih.tu-dresden.de/mkdocs.yml
@@ -185,6 +185,7 @@ theme:
second_logo: assets/images/zih_weiss.png
features:
- navigation.instant
+ - search.highlight
# extends base css/js
extra_css:
--
GitLab