summaryrefslogtreecommitdiff
path: root/desktop-themes/TraditionalOk/gtk-3.0
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2016-02-29 17:54:49 +0100
committerraveit65 <[email protected]>2016-02-29 17:55:25 +0100
commit6fdf5eb25bdf1e4025e143d0bf8b804a4b54bcb5 (patch)
treeb3f4f4f8ff26aa7d766abf678d7362ada76b1d83 /desktop-themes/TraditionalOk/gtk-3.0
parentdf446cd421259fd507791ca617b8ca04c3bed108 (diff)
downloadmate-themes-6fdf5eb25bdf1e4025e143d0bf8b804a4b54bcb5.tar.bz2
mate-themes-6fdf5eb25bdf1e4025e143d0bf8b804a4b54bcb5.tar.xz
GTK+-3.20 TraditionalOK: make stackswitcher buttons in headerbars bigger
Diffstat (limited to 'desktop-themes/TraditionalOk/gtk-3.0')
-rw-r--r--desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css16
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 *
*************/