diff options
| author | raveit65 <[email protected]> | 2016-02-29 17:54:49 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-02-29 17:54:49 +0100 |
| commit | 243e534687955556d06c1c97aced057263cf42b6 (patch) | |
| tree | a251f496a1ee971e2dd09d0ea83f0725a6d83ffb /desktop-themes/TraditionalOk | |
| parent | 6b63399653994d348b1f77ad05d764adfdaea055 (diff) | |
| download | mate-themes-243e534687955556d06c1c97aced057263cf42b6.tar.bz2 mate-themes-243e534687955556d06c1c97aced057263cf42b6.tar.xz | |
GTK+-3.20 TraditionalOK: make stackswitcher buttons in headerbars bigger
Diffstat (limited to 'desktop-themes/TraditionalOk')
| -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 * *************/ |