diff options
author | raveit65 <[email protected]> | 2015-03-01 22:41:21 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2015-03-01 22:42:56 +0100 |
commit | 81f69399ba840a6627d039b4412182e980569c09 (patch) | |
tree | e421072c084f0a14273e1e96fbf8cb0e7d867ea6 /desktop-themes/GreenLaguna/gtk-3.0 | |
parent | 47ef08c1f176d7c0cbe1d70ee84b77ec161b4664 (diff) | |
download | mate-themes-81f69399ba840a6627d039b4412182e980569c09.tar.bz2 mate-themes-81f69399ba840a6627d039b4412182e980569c09.tar.xz |
GreenLaguna GTK3: first adjustments for gtk+-3.16
- add overshoot function
- fix padding in search dialog boxes
- fix padding in pluma notebook
Diffstat (limited to 'desktop-themes/GreenLaguna/gtk-3.0')
-rw-r--r-- | desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css index b4823066..f5d1426f 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -133,6 +133,11 @@ * Miscellaneous * *****************/ +/* displays at end of mouse scrolling */ +.overshoot { + background-color: alpha (@theme_bg_color, 0.35); +} + .content-view.view.rubberband, .view.rubberband, .rubberband { @@ -288,7 +293,7 @@ GtkTreeView .separator, border-width: 1px; border-style: none; border-radius: 3px; - padding: 4px; + padding: 4px 4px; color: @theme_text_color; } @@ -302,6 +307,7 @@ GtkTreeView .separator, } .entry:focus { + padding: 3px 3px; border-image: none; border-style: solid; border-color: @theme_selected_bg_color; @@ -715,14 +721,11 @@ GtkLevelBar.vertical { .notebook tab .button, .notebook tab .button:hover, .notebook tab .button:hover:active { - border-style: none; border-image: none; - /*border-color: shade(@theme_bg_color, 0.9);*/ background-color: alpha(@theme_bg_color, 0.9); background-image: none; -GtkButton-child-displacement-x: 0; -GtkButton-child-displacement-y: 0; - -GtkWidget-focus-line-width: 0; -GtkWidget-focus-padding: 0; } |