]> git.plutz.net Git - shellwiki/commitdiff
Merge commit '6cba2fc3839ec90b51cdf90a936d95bc3c7c023d'
authorPaul Hänsch <paul@plutz.net>
Mon, 23 May 2022 17:42:39 +0000 (19:42 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 23 May 2022 17:42:39 +0000 (19:42 +0200)
1  2 
cgilite/common.css

diff --combined cgilite/common.css
index a79230a05de2572adcc04eeb236ebfbe60cb19f3,c5cf6c443c355a7ef2a2219278173968e0aa6d61..c5cf6c443c355a7ef2a2219278173968e0aa6d61
@@@ -95,6 -95,21 +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; }