The Tor Browser: browser/themes/shared/devtools/profiler.inc.css@6474c204b198

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

     1 %if 0

     2 /* This Source Code Form is subject to the terms of the Mozilla Public

     3  * License, v. 2.0. If a copy of the MPL was not distributed with this

     4  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

     5 %endif

     7 .profiler-sidebar-empty-notice {

     8   max-width: 176px;

     9   padding: 10px;

    10   background-color: rgb(61, 69, 76);

    11   color: white;

    12   font-weight: bold;

    13 }

    15 .profiler-sidebar {

    16   min-width: 196px;

    17 }

    19 .profiler-sidebar + .devtools-side-splitter {

    20   border-color: transparent;

    21 }

    23 .profiler-sidebar .devtools-toolbar {

    24   -moz-border-end: 1px solid;

    25 }

    27 .theme-dark .profiler-sidebar .devtools-toolbar {

    28   -moz-border-end-color: black; /* Match the splitter. */

    29 }

    31 .theme-light .profiler-sidebar .devtools-toolbar {

    32   -moz-border-end-color: #aaa; /* Match the splitter color. */

    33 }

    36 .profiler-sidebar-item {

    37   padding: 3px 5px;

    38 }

    40 .profiler-sidebar-item, .side-menu-widget-item-contents {

    41   cursor: default;

    42 }

    44 .profiler-sidebar-item > h3 {

    45   font-size: 13px;

    46   display: block;

    47   cursor: pointer;

    48 }

    50 .profiler-sidebar-item > hbox {

    51   margin-top: 2px;

    52 }

    54 .profiler-sidebar-item > hbox > a {

    55   display: none;

    56   text-decoration: underline;

    57   cursor: pointer;

    58 }

    60 .selected [state=completed] .profiler-sidebar-item > hbox > a {

    61   display: block;

    62 }

    64 .theme-dark .selected .profiler-sidebar-item > hbox {

    65   color: #b6babf;

    66 }

    68 .theme-light .selected .profiler-sidebar-item > hbox {

    69   color: #ebeced;

    70 }

    72 #profiler-start {

    73   list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");

    74   -moz-image-region: rect(0px,16px,16px,0px);

    75 }

    77 #profiler-start[checked] {

    78   -moz-image-region: rect(0px,32px,16px,16px);

    79 }

The Tor Browser / file revision