From 3b763748d4a2761afa121790cae57cc169453983 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Thu, 5 Apr 2018 13:57:01 +0200
Subject: [PATCH] increase (font-)size of header search entry

---
 src/pfwbged/theme/diazo_resources/static/main.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/pfwbged/theme/diazo_resources/static/main.css b/src/pfwbged/theme/diazo_resources/static/main.css
index 792151e..623c084 100644
--- a/src/pfwbged/theme/diazo_resources/static/main.css
+++ b/src/pfwbged/theme/diazo_resources/static/main.css
@@ -913,3 +913,12 @@ table.listing td.icon-column {
 #content table.listing td.title-column a {
 	display: block;
 }
+
+#portal-searchbox {
+	font-size: 100%;
+}
+
+#portal-searchbox input {
+	padding: 5px;
+	border: 1px solid #666;
+}