some small popup tweaks in both themes
authorRobert Kaiser <robert@widebook.box.kairo.at>
Sun, 8 Dec 2013 20:01:43 +0000 (21:01 +0100)
committerRobert Kaiser <robert@widebook.box.kairo.at>
Sun, 8 Dec 2013 20:01:43 +0000 (21:01 +0100)
EarlyBlue/global/popup.css
LCARStrek/global/popup.css

index 99d0ec089eb62ccd8920d7a43b31b474ff7d0eb2..1b9f33a71dd9cd8480ff56ecf830ca6ece63b916 100644 (file)
@@ -2,6 +2,10 @@
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
+/* ===== popup.css ======================================================
+  == Styles used by the XUL popup element.
+  ======================================================================= */
+
 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
 
 /* ::::: menupopup ::::: */
@@ -14,9 +18,17 @@ panel {
   background-color: #CCD0DD;
 }
 
+menupopup > menu > menupopup {
+  /* align submenus */
+  margin-top: -1px;
+}
+
+/* ::::: arrow panel ::::: */
+
 panel[type="arrow"] {
   background: transparent;
   border: none;
+  padding: 0;
   transition: opacity 300ms;
 }
 
@@ -65,7 +77,7 @@ panel[type="arrow"][side="right"] {
   background-color: #CCD0DD;
   background-clip: padding-box;
   border: 1px outset #CCD0DD;
-  margin: 3px;
+  margin: 0px;
 }
 
 .panel-arrow[side="top"],
@@ -77,12 +89,12 @@ panel[type="arrow"][side="right"] {
 }
 
 .panel-arrow[side="top"] {
-  margin-bottom: -5px;
+  margin-bottom: -1px;
 }
 
 .panel-arrow[side="bottom"] {
   transform: scaleY(-1);
-  margin-top: -5px;
+  margin-top: -1px;
 }
 
 .panel-arrow[side="left"],
@@ -94,12 +106,12 @@ panel[type="arrow"][side="right"] {
 }
 
 .panel-arrow[side="left"] {
-  margin-right: -5px;
+  margin-right: -1px;
 }
 
 .panel-arrow[side="right"] {
   transform: scaleX(-1);
-  margin-left: -5px;
+  margin-left: -1px;
 }
 
 /* ::::: tooltip ::::: */
index 26422efd09f32edc703530187bc9cea82de59638..1172f553991f474711f158275285d14b57ca2230 100644 (file)
@@ -13,7 +13,7 @@
 menupopup,
 panel {
   border: 1px solid #FF9F00;
-  padding: 0px;
+  padding: 1px;
   min-width: 1px;
   background-color: #000000;
 }