diff options
| -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 * *************/ |