diff options
| author | raveit65 <[email protected]> | 2016-02-29 17:54:49 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-02-29 17:55:25 +0100 |
| commit | 6fdf5eb25bdf1e4025e143d0bf8b804a4b54bcb5 (patch) | |
| tree | b3f4f4f8ff26aa7d766abf678d7362ada76b1d83 /desktop-themes | |
| parent | df446cd421259fd507791ca617b8ca04c3bed108 (diff) | |
| download | mate-themes-6fdf5eb25bdf1e4025e143d0bf8b804a4b54bcb5.tar.bz2 mate-themes-6fdf5eb25bdf1e4025e143d0bf8b804a4b54bcb5.tar.xz | |
GTK+-3.20 TraditionalOK: make stackswitcher buttons in headerbars bigger
Diffstat (limited to 'desktop-themes')
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index 32d3f5ff..8628e1f4 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -3000,6 +3000,22 @@ headerbar { padding: 5px 4px 4px 4px; } +headerbar.titlebar > stackswitcher.linked.stack-switcher > button, +headerbar.titlebar > stackswitcher.linked.stack-switcher > button:checked:hover { + padding: 6px 22px; + border-width: 1px 1px 1px 0px; +} + +headerbar.titlebar > stackswitcher.linked.stack-switcher > button:first-child, +headerbar.titlebar > stackswitcher.linked.stack-switcher > button:checked:hover:first-child { + border-width: 1px; +} + +headerbar.titlebar > stackswitcher.linked.stack-switcher > button:last-child, +headerbar.titlebar > stackswitcher.linked.stack-switcher > button:checked:hover:last-child { + border-width: 1px 1px 1px 0px; +} + /************* * Popovers * *************/ |