diff -r 000000000000 -r 6474c204b198 browser/themes/shared/devtools/profiler.inc.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/browser/themes/shared/devtools/profiler.inc.css Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,79 @@ +%if 0 +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ +%endif + +.profiler-sidebar-empty-notice { + max-width: 176px; + padding: 10px; + background-color: rgb(61, 69, 76); + color: white; + font-weight: bold; +} + +.profiler-sidebar { + min-width: 196px; +} + +.profiler-sidebar + .devtools-side-splitter { + border-color: transparent; +} + +.profiler-sidebar .devtools-toolbar { + -moz-border-end: 1px solid; +} + +.theme-dark .profiler-sidebar .devtools-toolbar { + -moz-border-end-color: black; /* Match the splitter. */ +} + +.theme-light .profiler-sidebar .devtools-toolbar { + -moz-border-end-color: #aaa; /* Match the splitter color. */ +} + + +.profiler-sidebar-item { + padding: 3px 5px; +} + +.profiler-sidebar-item, .side-menu-widget-item-contents { + cursor: default; +} + +.profiler-sidebar-item > h3 { + font-size: 13px; + display: block; + cursor: pointer; +} + +.profiler-sidebar-item > hbox { + margin-top: 2px; +} + +.profiler-sidebar-item > hbox > a { + display: none; + text-decoration: underline; + cursor: pointer; +} + +.selected [state=completed] .profiler-sidebar-item > hbox > a { + display: block; +} + +.theme-dark .selected .profiler-sidebar-item > hbox { + color: #b6babf; +} + +.theme-light .selected .profiler-sidebar-item > hbox { + color: #ebeced; +} + +#profiler-start { + list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png"); + -moz-image-region: rect(0px,16px,16px,0px); +} + +#profiler-start[checked] { + -moz-image-region: rect(0px,32px,16px,16px); +}