From: John Benediktsson <mrjbq7@gmail.com>
Date: Fri, 5 Aug 2022 23:53:59 +0000 (-0700)
Subject: help.html: softer search box.
X-Git-Tag: 0.99~1207
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=c31ebe33c515c4f83bf6aee28478a9eafd4dc820

help.html: softer search box.
---

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;
 }