some small popup tweaks in both themes

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

diff --git a/EarlyBlue/global/popup.css b/EarlyBlue/global/popup.css
index 74f3cc77b319dcbd7686c1cd5ce893c0215e44dd..1b9f33a71dd9cd8480ff56ecf830ca6ece63b916 100644 (file)
--- a/EarlyBlue/global/popup.css
+++ b/EarlyBlue/global/popup.css
@@ -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;
 }
 
@@ -27,7 +39,9 @@ panel[type="arrow"] {
 }
 
 .panel-arrowcontainer:not([panelopen]) {
-  opacity: 0;
+  /* Does not work correctly in Linux right now. - 2012-09-30
+   * Actually, only breaks uncommon Window Managers, but arrowpanels disappear completely. 2013-07-21
+  opacity: 0; */
 }
 
 .panel-arrowcontainer:not([panelopen])[side="top"] {
@@ -63,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"],
@@ -75,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"],
@@ -92,14 +106,16 @@ 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 ::::: */
+
 tooltip {
   background-color : #FFFFCC;
   border : 1px outset #FFFFCC;