.devtools-toolbarbutton > .toolbarbutton-icon {
}
+.devtools-toolbarbutton:not([label]) {
+ min-width: 20px;
+}
+
.devtools-toolbarbutton:not([checked]):hover:active {
}
.devtools-searchinput > .textbox-input-box > .textbox-input:-moz-placeholder {
color: hsl(208,10%,66%);
}
-*/
\ No newline at end of file
+*/
+
+/* Splitters */
+
+#devtools-side-splitter {
+ border: none;
+}