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 b74c7a825b69e33dd780c539b9da72e637c2898a..ceb6ba6418fd2ae4fbb7524a8c7962f26bf50759 100644 (file)
--- a/EarlyBlue/global/button.css
+++ b/EarlyBlue/global/button.css
@@ -46,7 +46,7 @@
 /* outer frame */
 
 button {
-  margin: 1px 5px 2px 5px;
+  margin: 2px 3px;
   min-width: 6.3em;
   border: 1px outset #CCD0DD;
   background-color: #CCD0DD;
@@ -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"] {