[gnome-themes-standard] HighContrast: improve styling for floating-bar widgets

[Cosimo Cecchi <cosimoc src gnome org>]

commit 3aa1caada62b11ebcce0af9211ff5878f108a370
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Fri Jan 4 12:12:04 2013 +0100

    HighContrast: improve styling for floating-bar widgets
    
    Add a border and round it according to its position, like we do in
    Adwaita.

 themes/HighContrast/gtk-3.0/gtk-widgets.css |   32 +++++++++++++++++++++++++++
 1 files changed, 32 insertions(+), 0 deletions(-)
---
diff --git a/themes/HighContrast/gtk-3.0/gtk-widgets.css b/themes/HighContrast/gtk-3.0/gtk-widgets.css
index 349a01d..d1a9cab 100644
--- a/themes/HighContrast/gtk-3.0/gtk-widgets.css
+++ b/themes/HighContrast/gtk-3.0/gtk-widgets.css
@@ -144,6 +144,38 @@ GtkImage:insensitive {
 
 .floating-bar {
     background-color: @theme_insensitive_bg;
+    border-width: 1px;
+    border-radius: 3px;
+    border-style: solid;
+}
+
+.floating-bar.top {
+    border-top-width: 0;
+    border-top-right-radius: 0;
+    border-top-left-radius: 0;
+}
+
+.floating-bar.right {
+    border-right-width: 0;
+    border-top-right-radius: 0;
+    border-bottom-right-radius: 0;
+}
+
+.floating-bar.bottom {
+    border-bottom-width: 0;
+    border-bottom-right-radius: 0;
+    border-bottom-left-radius: 0;
+}
+
+.floating-bar.left {
+    border-left-width: 0;
+    border-top-left-radius: 0;
+    border-bottom-left-radius: 0;
+}
+
+.floating-bar .button {
+    background-color: transparent;
+    border-style: none;
 }
 
 GtkColorButton.button {