]> git.plutz.net Git - shellwiki/commitdiff
Merge commit '8ed4549c0ae1f6b38ee56e61e71e1eae5967fd0f'
authorPaul Hänsch <paul@plutz.net>
Wed, 11 Oct 2023 16:23:03 +0000 (18:23 +0200)
committerPaul Hänsch <paul@plutz.net>
Wed, 11 Oct 2023 16:23:03 +0000 (18:23 +0200)
1  2 
cgilite/common.css

diff --combined cgilite/common.css
index 6f4c484f6457db0f5b9892a0d2ae1763af1eacaa,38eff7da3b957999ff674f26ebe80ca3bf1c4409..38eff7da3b957999ff674f26ebe80ca3bf1c4409
@@@ -115,6 -115,7 +115,7 @@@ input + label 
    margin-left: .375em;
  }
  
+ input[type="search"] + button.search,
  input.search + button.search {
    width: 2.5em;
    color: transparent;
    white-space: nowrap;
    overflow: hidden;
  }
+ input[type="search"] + button.search:before {
  input.search + button.search:before {
    content: '\1f50d';
    color: #000;