From 1860ca78ce4e0937f84483b8da77947bf116f2d1 Mon Sep 17 00:00:00 2001 From: ZenWalker Date: Mon, 20 Mar 2017 20:38:58 +0100 Subject: Traditional themes: make padding in notebook tabs smaller --- desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'desktop-themes/TraditionalOk') diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index 8fc06fa9..66b7420f 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -1805,7 +1805,7 @@ notebook header tab { notebook header.top tab { margin: 0px 0px 0px -1px; - padding: 6px; + padding: 4px 6px 2px 6px; border-width: 0px 1px 1px 1px; border-radius: 3px 3px 0px 0px; background-image: linear-gradient(to bottom, @@ -1823,7 +1823,7 @@ notebook header.top tab:checked { notebook header.right tab { margin: -1px 0px 0px 0px; - padding: 6px; + padding: 6px 4px 6px 2px; border-width: 1px 0px 1px 1px; border-radius: 0px 3px 3px 0px; background-image: linear-gradient(to left, @@ -1841,7 +1841,7 @@ notebook header.right tab:checked { notebook header.bottom tab { margin: 0px 0px 0px -1px; - padding: 6px; + padding: 2px 6px 4px 6px; border-width: 1px 1px 0px 1px; border-radius: 0px 0px 3px 3px; background-image: linear-gradient(to top, @@ -1859,7 +1859,7 @@ notebook header.bottom tab:checked { notebook header.left tab { margin: -1px 0px 0px 0px; - padding: 6px; + padding: 6px 2px 6px 4px; border-width: 1px 1px 1px 0px; border-radius: 3px 0px 0px 3px; background-image: linear-gradient(to right, -- cgit v1.2.1