[gnome-shell-extensions/merged-classic-branches: 5/15] Fix panel bottom border

[Florian MÃllner <fmuellner src gnome org>]

commit 5a61b792a58b98ca063f5a932e2e4d905333591e
Author: Florian MÃllner <fmuellner gnome org>
Date:   Tue Jan 22 17:16:04 2013 +0100

    Fix panel bottom border

 extensions/legacy-colors/stylesheet.css |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/extensions/legacy-colors/stylesheet.css b/extensions/legacy-colors/stylesheet.css
index 21602e6..6768ad7 100644
--- a/extensions/legacy-colors/stylesheet.css
+++ b/extensions/legacy-colors/stylesheet.css
@@ -1,5 +1,4 @@
 /* FIXME:
-   - bottom-border for panel seems transparent rather than the given color
    - white edge highlight with text-shadow and icon-shadow for panel-button
    - better shading of the panel (dark 5%) - impossible without multipoint gradients, image-bg is a hack
    - ON/OFF svg widgets. Can they be placed inside the extension dir?
@@ -13,7 +12,11 @@
     background-color: #e9e9e9 !important;
     background-gradient-direction: vertical;
     background-gradient-end: #d0d0d0;
-    border-bottom: 1px solid #ddd !important; /* FIXME */
+    border-top-color: #ddd; /* we don't support non-uniform border-colors and
+                               use the top border color for any border, so we
+                               need to set it even if all we want is a bottom
+                               border */
+    border-bottom: 1px solid #ddd;
 
 /* hrm, still no multipoint gradients
     background-image: linear-gradient(left, rgba(255, 255, 255, 0), rgba(255, 255, 255, 1) 50%, rgba(255, 255, 255, 0)) !important;*/