From 1cef6068461204b139e00b483039a7b47257c2b1 Mon Sep 17 00:00:00 2001
From: raveit65 <chat-to-me@raveit.de>
Date: Sun, 27 Oct 2013 15:06:36 +0100
Subject: ContrastHigh: improve styling for floating-bar widgets

Add a border and round it according to its position.
---
 .../ContrastHigh/gtk-3.0/gtk-widgets.css           | 32 ++++++++++++++++++++++
 1 file changed, 32 insertions(+)

(limited to 'desktop-themes/ContrastHigh/gtk-3.0')

diff --git a/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css b/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css
index 349a01d8..d1a9cabc 100644
--- a/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/ContrastHigh/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 {
-- 
cgit v1.2.1