Add generic support for search box in page header

This adds the ability to show a search box in any pageheader with correct href and
hidden form data, but does not enable the box on any pages.

Signed-off-by: Lars Hjemli <hjemli@gmail.com>

1 files changed, 5 insertions, 0 deletions

diff --git a/cgit.css b/cgit.css
index 459dca7..9112bfe 100644
--- a/cgit.css
+++ b/cgit.css
@@ -56,16 +56,21 @@ div#header {
 	font-weight: bold;
 	border: solid 1px #aaa;
 	vertical-align: middle;
 	margin-bottom: 2em;
 }
 div#header img#logo {
 	float: right;
 }
+
+div#header input {
+	float: right;
+	margin: 0.25em 1em;
+}
 div#header a {
 	color: black;
 }
 
 div#content {
 	margin: 0.5em 0.5em;
 }