+/* Close button */
+
+.devtools-closebutton {
+ list-style-image: url("chrome://global/skin/icons/close-button.gif");
+ min-width: 16px;
+ width: 16px;
+}
+
+.devtools-closebutton > .toolbarbutton-text {
+ display: none;
+}
+
+.devtools-closebutton:hover,
+.devtools-closebutton:hover:active {
+ list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
+}
+
+/* Splitter */
+
+.devtools-horizontal-splitter {
+ border: none;
+ min-height: 3px;
+ height: 3px;
+ margin-bottom: -3px;
+ position: relative;
+}