small fixes for EarlyBlue 1.3

[themes.git] / EarlyBlue / global / button.css

diff --git a/EarlyBlue/global/button.css b/EarlyBlue/global/button.css
index 55dafd28c6a616fb39bfb83fa5b590ea23c0cde8..ceb6ba6418fd2ae4fbb7524a8c7962f26bf50759 100644 (file)
--- a/EarlyBlue/global/button.css
+++ b/EarlyBlue/global/button.css
@@ -74,6 +74,7 @@ button:focus > .button-box {
 
 /* .......... default state .......... */
 
+button[default] > .button-box,
 button[default="true"] > .button-box {
   font-weight: bold;
   list-style-image: url("chrome://global/skin/icons/return.gif");
@@ -123,12 +124,14 @@ button[type="menu-button"] {
 .button-menu-dropmarker,
 .button-menubutton-dropmarker {
   margin: 1px;
-  list-style-image: url("chrome://global/skin/arrow/arrow-down.gif");
+  background-image: url("chrome://global/skin/arrow/arrow-down.gif");
+  min-width: 11px;
+  min-height: 11px;
 }
 
 .button-menu-dropmarker[disabled="true"],
 .button-menubutton-dropmarker[disabled="true"] {
-  list-style-image: url("chrome://global/skin/arrow/arrow-down-disabled.gif");
+  background-image: url("chrome://global/skin/arrow/arrow-down-disabled.gif");
 }
 
 .button-menubutton-dropmarker[open="true"] {
@@ -143,4 +146,3 @@ button.plain {
   margin: 0px !important;
   padding: 0px !important;
 }
-