gecko/browser/themes/shared/devtools/profiler.inc.css
Victor Porof 735f8786f3 Bug 943883 - DevTools themes - theme sidemenuwidget, r=bgrins, australis
--HG--
rename : browser/themes/osx/devtools/itemArrow-ltr.png => browser/themes/shared/devtools/images/itemArrow-ltr.png
rename : browser/themes/osx/devtools/itemArrow-rtl.png => browser/themes/shared/devtools/images/itemArrow-rtl.png
2014-01-07 11:58:07 +02:00

86 lines
1.7 KiB
CSS

%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-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;
color: rgb(140, 152, 165);
}
.profiler-sidebar-item > hbox > a {
display: none;
text-decoration: underline;
cursor: pointer;
}
.selected [state=completed] .profiler-sidebar-item > hbox > a {
display: block;
}
.selected .profiler-sidebar-item > hbox {
color: rgb(128, 195, 228);
}
#profiler-controls > toolbarbutton {
margin: 0;
box-shadow: none;
border-radius: 0;
border-width: 0;
-moz-border-end-width: 1px;
outline-offset: -3px;
}
#profiler-controls > toolbarbutton:last-of-type {
-moz-border-end-width: 0;
}
#profiler-controls {
box-shadow: 0 1px 0 hsla(210,16%,76%,.15) inset,
0 0 0 1px hsla(210,16%,76%,.15) inset,
0 1px 0 hsla(210,16%,76%,.15);
border: 1px solid hsla(210,8%,5%,.45);
border-radius: 3px;
margin: 0 3px;
}
#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);
}