+
+.jsterm-close-button {
+ background: none;
+ border: none;
+ list-style-image: url("chrome://global/skin/icons/close-button.gif");
+ margin: 0px;
+ min-width: 0px;
+ padding: 1px 3px 1px 7px;
+ -moz-user-focus: ignore;
+}
+
+.jsterm-close-button:hover, .jsterm-close-button:active {
+ list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
+}