}
.devtools-toolbarbutton {
+ min-height: 25px;
+}
+
+#highlighter-closebutton {
+ min-height: 25px;
}
.devtools-toolbarbutton > .toolbarbutton-icon {
.devtools-searchinput > .textbox-input-box > .textbox-input:-moz-placeholder {
color: hsl(208,10%,66%);
}
-*/
\ No newline at end of file
+*/
+
+/* Splitters */
+
+#devtools-side-splitter,
+#inspector-tree-splitter {
+ border: none;
+}