* 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/. */
+/* === file identical to profiler.inc.css === */
+
window {
padding: 0;
}
+.profiler-sidebar-empty-notice {
+ max-width: 176px;
+ padding: 10px;
+ background-color: #A09090;
+ color: #000000;
+ font-weight: bold;
+}
+
.devtools-toolbar {
+/* min-height: 33px; */
+}
+
+.profiler-sidebar {
+ min-width: 196px;
+}
+
+.profiler-sidebar + .devtools-side-splitter {
+ -moz-border-start-color: transparent;
+}
+
+.profiler-sidebar .devtools-toolbar {
+ -moz-border-end: 1px solid #9C9CFF; /* Match the splitter color. */
+}
+
+.profiler-sidebar-item {
+ padding: 3px 5px;
+}
+
+.profiler-sidebar-item, .side-menu-widget-item-contents {
+ cursor: default;
}
-.profile-name {
+.profiler-sidebar-item > h3 {
font-size: 13px;
- padding: 8px;
+ display: block;
+ cursor: pointer;
+}
+
+.profiler-sidebar-item > hbox {
+ margin-top: 2px;
}
-#profiles-list > li {
- width: 180px;
+.profiler-sidebar-item > hbox > a {
+ display: none;
+ text-decoration: underline;
cursor: pointer;
}
-.splitview-nav-container button {
- color: #FF9F00;
- background-clip: padding-box;
- border-bottom: 1px solid #A09090;
- -moz-padding-end: 8px;
- -moz-box-align: center;
+.profiler-sidebar-item > hbox > a:hover {
+ color: #FFCF00;
+}
+
+[state=completed].selected .profiler-sidebar-item > hbox > a {
+ display: block;
+}
+
+.selected .profiler-sidebar-item > hbox {
+ color: #3A3A5F; /* 37% of #9C9CFF */
}
#profiler-start {