From 07289a4bcf463d9af5040ad4d69e53094a691eb3 Mon Sep 17 00:00:00 2001
From: Turiiya <tobmoj@web.de>
Date: Sun, 29 Sep 2024 15:14:18 +0200
Subject: [PATCH] v.doc: fix scrolling on keyboard select in search results
 with overflow

---
 cmd/tools/vdoc/theme/doc.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cmd/tools/vdoc/theme/doc.css b/cmd/tools/vdoc/theme/doc.css
index 82c272eaacedf3..1b71cc8f3caaf6 100644
--- a/cmd/tools/vdoc/theme/doc.css
+++ b/cmd/tools/vdoc/theme/doc.css
@@ -311,6 +311,9 @@ hr {
 .doc-nav > .content a:hover {
 	text-decoration: underline;
 }
+.doc-nav .search {
+	overflow: scroll;
+}
 .doc-nav .search.hidden {
 	display: none;
 }