help.html: softer search box.

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 6a828819419acb9c75e047b53cfdedbfe31deff6..a8b32ef2c826a71bd5e3fac36722c9807c96a431 100644 (file)
--- 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;
 }