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