From 243e534687955556d06c1c97aced057263cf42b6 Mon Sep 17 00:00:00 2001 From: raveit65 Date: Mon, 29 Feb 2016 17:54:49 +0100 Subject: GTK+-3.20 TraditionalOK: make stackswitcher buttons in headerbars bigger --- desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'desktop-themes') 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 * *************/ -- cgit v1.2.1