diff options
Diffstat (limited to 'desktop-themes/TraditionalOk')
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index d8ace3b7..dd33c421 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -3532,22 +3532,6 @@ 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 * *************/ |