tor-browser

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

general.css (1883B)

      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 /******************************************************************************/
      6 /* General */
      7 
      8 html,
      9 body,
     10 #content {
     11  height: 100%;
     12 }
     13 
     14 body {
     15  color: var(--theme-body-color);
     16  background-color: var(--theme-body-background);
     17  padding: 0;
     18  margin: 0;
     19 }
     20 
     21 pre {
     22  background-color: white;
     23  border: none;
     24  font-family: var(--monospace-font-family);
     25 }
     26 
     27 #content {
     28  display: flow-root;
     29 }
     30 
     31 #json {
     32  margin: 8px;
     33  white-space: pre-wrap;
     34 }
     35 
     36 /******************************************************************************/
     37 /* Dark Theme */
     38 
     39 body.theme-dark {
     40  color: var(--theme-body-color);
     41  background-color: var(--theme-body-background);
     42 }
     43 
     44 .theme-dark pre {
     45  background-color: var(--theme-body-background);
     46 }
     47 
     48 /******************************************************************************/
     49 /* Profiler Icon Button */
     50 
     51 .profiler-icon-button {
     52  appearance: none;
     53  border: none;
     54  border-inline-start: 1px solid var(--theme-splitter-color);
     55  padding: 0;
     56  margin: 0;
     57  margin-inline-start: auto;
     58  width: 32px;
     59  height: 100%;
     60  background-color: var(--theme-tab-toolbar-background);
     61  background-image: url("chrome://devtools/skin/images/tool-profiler.svg");
     62  background-repeat: no-repeat;
     63  background-position: center;
     64  background-size: 16px 16px;
     65  -moz-context-properties: fill;
     66  fill: var(--theme-icon-color);
     67  outline-offset: -2px;
     68 }
     69 
     70 .profiler-icon-button:not(:disabled):hover {
     71  background-color: var(--theme-toolbar-hover);
     72  fill: var(--theme-icon-hover-color);
     73 }
     74 
     75 .profiler-icon-button:not(:disabled):hover:active {
     76  background-color: var(--theme-toolbar-hover-active);
     77 }
     78 
     79 .profiler-icon-button:disabled {
     80  fill: var(--theme-icon-disabled-color);
     81 }