+/* 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. */