#
#
# patch "local.css"
#  from [97e3f4e991024ec51aba0bd198fb6956d02bcab4]
#    to [5a3eeacbb948b8a84dc7872edeb1fdb8080200a4]
#
============================================================
--- local.css	97e3f4e991024ec51aba0bd198fb6956d02bcab4
+++ local.css	5a3eeacbb948b8a84dc7872edeb1fdb8080200a4
@@ -290,3 +290,13 @@ code {
     margin-right: 0.5em;
 }
 
+#searchform {
+    margin-right: 0.8em;
+    margin-top: -1.2em;
+}
+
+#searchform #searchbox {
+    border: 1px solid #474747;
+    width: 15em;
+}
+