From 6bdb2dbf2cc57ab1938def5b678cbfe669f2d3b2 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Sun, 22 May 2022 20:12:53 +0200
Subject: [PATCH] style for search button

---
 common.css | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/common.css b/common.css
index a79230a..c5cf6c4 100644
--- a/common.css
+++ b/common.css
@@ -95,6 +95,21 @@ input + label {
   margin-left: .375em;
 }
 
+input.search + button.search {
+  width: 2.5em;
+  color: transparent;
+  background-color: #CCC;
+  margin-left: -2pt;
+  border-left: none;
+  border-radius: 0 2pt 2pt 0;
+  white-space: nowrap;
+}
+input.search + button.search:before {
+  content: '\1f50d';
+  color: #000;
+  font-weight: bold;
+}
+
 @media print {
   @page { margin: 20mm; }
 
-- 
2.39.2