tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

ReverseSearchInput.css (3189B)

      1 /* This Source Code Form is subject to the terms of the Mozilla Public
      2 * License, v. 2.0. If a copy of the MPL was not distributed with this
      3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
      4 
      5 .reverse-search {
      6  display: flex;
      7  font-size: inherit;
      8  min-height: 26px;
      9  color: var(--theme-body-color);
     10  padding-block-start: 2px;
     11  align-items: baseline;
     12  border: 1px solid transparent;
     13  border-top-color: var(--theme-splitter-color);
     14  transition: border-color 0.2s ease-in-out;
     15 }
     16 
     17 .jsterm-editor .reverse-search {
     18  border-inline-end-color: var(--theme-splitter-color);
     19 }
     20 
     21 /* Add a border radius match the borders of the window on Mac OS
     22 * and hide the border radius on the right if the sidebar or editor
     23 * is open. */
     24 :root[platform="mac"] .webconsole-app .reverse-search {
     25  border-end-start-radius: 5px;
     26 }
     27 :root[platform="mac"] .webconsole-app:not(.jsterm-editor, .sidebar-visible) .reverse-search {
     28  border-end-end-radius: 5px;
     29 }
     30 
     31 .reverse-search:focus-within {
     32  outline-offset: -2px;
     33  outline: var(--theme-focus-outline);
     34 }
     35 
     36 .reverse-search {
     37  flex-shrink: 0;
     38 }
     39 
     40 .reverse-search input {
     41  border: none;
     42  flex-grow: 1;
     43  background: transparent;
     44  color: currentColor;
     45  background-image: url(chrome://devtools/skin/images/search.svg);
     46  background-repeat: no-repeat;
     47  background-size: 12px;
     48  --background-position-inline: 10px;
     49  background-position: var(--background-position-inline) 50%;
     50  -moz-context-properties: fill;
     51  fill: var(--theme-icon-dimmed-color);
     52  text-align: match-parent;
     53  unicode-bidi: plaintext;
     54  min-width: 80px;
     55  flex-shrink: 1;
     56  flex-basis: 0;
     57 }
     58 
     59 .reverse-search:dir(ltr) input {
     60  /* Be explicit about left/right direction to prevent the text/placeholder
     61   * from overlapping the background image when the user changes the text
     62   * direction manually (e.g. via Ctrl+Shift). */
     63  padding-left: var(--console-inline-start-gutter);
     64 }
     65 
     66 .reverse-search:dir(rtl) input {
     67  background-position-x: right var(--background-position-inline);
     68  padding-right: var(--console-inline-start-gutter);
     69 }
     70 
     71 .reverse-search input:focus {
     72  border: none;
     73  outline: none;
     74 }
     75 
     76 .reverse-search:not(.no-result) input:focus {
     77  fill: var(--theme-icon-checked-color);
     78 }
     79 
     80 .reverse-search-actions {
     81  flex-shrink: 0;
     82  display: flex;
     83  align-items: baseline;
     84 }
     85 
     86 .reverse-search-info {
     87  flex-shrink: 0;
     88  padding: 0 8px;
     89  color: var(--comment-node-color);
     90 }
     91 
     92 .search-result-button-prev,
     93 .search-result-button-next,
     94 .reverse-search-close-button {
     95  padding: 4px 0;
     96  margin: 0;
     97  border-radius: 0;
     98 }
     99 
    100 .search-result-button-prev::before {
    101  background-image: url("chrome://devtools/skin/images/arrowhead-up.svg");
    102  background-size: 16px;
    103  fill: var(--comment-node-color);
    104 }
    105 
    106 .search-result-button-next::before {
    107  background-image: url("chrome://devtools/skin/images/arrowhead-down.svg");
    108  background-size: 16px;
    109  fill: var(--comment-node-color);
    110 }
    111 
    112 .reverse-search-close-button::before {
    113  fill: var(--comment-node-color);
    114  background-image: url("chrome://devtools/skin/images/close.svg");
    115 }
    116 
    117 .reverse-search.no-result input {
    118  fill: var(--error-color);
    119 }
    120 
    121 .reverse-search.no-result,
    122 .reverse-search.no-result input {
    123  color: var(--error-color);
    124 }