diff options
| author | raveit65 <[email protected]> | 2013-10-27 15:06:36 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2013-10-27 15:06:36 +0100 |
| commit | 1cef6068461204b139e00b483039a7b47257c2b1 (patch) | |
| tree | 82e69f427d828c205e733846c270fe7655583e00 /desktop-themes | |
| parent | 4407261bafef10973ef2ff3af0a598bbe0f8d7a6 (diff) | |
| download | mate-themes-1cef6068461204b139e00b483039a7b47257c2b1.tar.bz2 mate-themes-1cef6068461204b139e00b483039a7b47257c2b1.tar.xz | |
ContrastHigh: improve styling for floating-bar widgets
Add a border and round it according to its position.
Diffstat (limited to 'desktop-themes')
| -rw-r--r-- | desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css | 32 |
1 files changed, 32 insertions, 0 deletions
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 { |