The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/themes/shared/devtools/profiler.inc.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,79 @@
     1.4 +%if 0
     1.5 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.6 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.7 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.8 +%endif
     1.9 +
    1.10 +.profiler-sidebar-empty-notice {
    1.11 +  max-width: 176px;
    1.12 +  padding: 10px;
    1.13 +  background-color: rgb(61, 69, 76);
    1.14 +  color: white;
    1.15 +  font-weight: bold;
    1.16 +}
    1.17 +
    1.18 +.profiler-sidebar {
    1.19 +  min-width: 196px;
    1.20 +}
    1.21 +
    1.22 +.profiler-sidebar + .devtools-side-splitter {
    1.23 +  border-color: transparent;
    1.24 +}
    1.25 +
    1.26 +.profiler-sidebar .devtools-toolbar {
    1.27 +  -moz-border-end: 1px solid;
    1.28 +}
    1.29 +
    1.30 +.theme-dark .profiler-sidebar .devtools-toolbar {
    1.31 +  -moz-border-end-color: black; /* Match the splitter. */
    1.32 +}
    1.33 +
    1.34 +.theme-light .profiler-sidebar .devtools-toolbar {
    1.35 +  -moz-border-end-color: #aaa; /* Match the splitter color. */
    1.36 +}
    1.37 +
    1.38 +
    1.39 +.profiler-sidebar-item {
    1.40 +  padding: 3px 5px;
    1.41 +}
    1.42 +
    1.43 +.profiler-sidebar-item, .side-menu-widget-item-contents {
    1.44 +  cursor: default;
    1.45 +}
    1.46 +
    1.47 +.profiler-sidebar-item > h3 {
    1.48 +  font-size: 13px;
    1.49 +  display: block;
    1.50 +  cursor: pointer;
    1.51 +}
    1.52 +
    1.53 +.profiler-sidebar-item > hbox {
    1.54 +  margin-top: 2px;
    1.55 +}
    1.56 +
    1.57 +.profiler-sidebar-item > hbox > a {
    1.58 +  display: none;
    1.59 +  text-decoration: underline;
    1.60 +  cursor: pointer;
    1.61 +}
    1.62 +
    1.63 +.selected [state=completed] .profiler-sidebar-item > hbox > a {
    1.64 +  display: block;
    1.65 +}
    1.66 +
    1.67 +.theme-dark .selected .profiler-sidebar-item > hbox {
    1.68 +  color: #b6babf;
    1.69 +}
    1.70 +
    1.71 +.theme-light .selected .profiler-sidebar-item > hbox {
    1.72 +  color: #ebeced;
    1.73 +}
    1.74 +
    1.75 +#profiler-start {
    1.76 +  list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
    1.77 +  -moz-image-region: rect(0px,16px,16px,0px);
    1.78 +}
    1.79 +
    1.80 +#profiler-start[checked] {
    1.81 +  -moz-image-region: rect(0px,32px,16px,16px);
    1.82 +}