diff options
Diffstat (limited to 'desktop-themes')
-rw-r--r-- | desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css | 2 | ||||
-rw-r--r-- | desktop-themes/Menta/gtk-3.0/gtk-widgets.css | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css index 5c58d2de..3670911b 100644 --- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css @@ -1542,7 +1542,7 @@ GtkLinkButton.button:active { .notebook tab.top, .notebook tab.bottom { - padding: 8px 20px 6px; + padding: 6px 20px 4px; } .notebook tab.top:active, diff --git a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css index cbf0133d..369977aa 100644 --- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css @@ -1541,7 +1541,7 @@ GtkLinkButton.button:active { .notebook tab.top, .notebook tab.bottom { - padding: 8px 20px 6px; + padding: 6px 20px 4px; } .notebook tab.top:active, |