From c31ebe33c515c4f83bf6aee28478a9eafd4dc820 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Fri, 5 Aug 2022 16:53:59 -0700
Subject: [PATCH] help.html: softer search box.

---
 basis/help/html/stylesheet.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 6a82881941..a8b32ef2c8 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -18,7 +18,7 @@ body {
 }
 
 input {
-    border: 1px solid #999999;
+    border: 1px solid #dbdbdb;
     border-radius: 3px;
     font-size: 1.0em;
 }
-- 
2.34.1