From 9490e40edd153d65bbb634c1bc1e278c9aaa633f Mon Sep 17 00:00:00 2001 From: alstjr7375 Date: Sat, 19 Mar 2022 01:58:43 +0900 Subject: [PATCH] Clean: Tab Bar - Distribution padding, radius --- userChrome.css | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/userChrome.css b/userChrome.css index 8a9e185..40abeba 100644 --- a/userChrome.css +++ b/userChrome.css @@ -2783,16 +2783,14 @@ menuitem.openintabs-menuitem, } /** Reduce Padding ************************************************************/ -/*= Root - Reduce Padding ====================================================*/ +/*= Tab Bar - Distribution padding, radius ===================================*/ :root { - /* Tab Bar */ - --proton-tab-block-margin: 2px !important; /* Original: 4px, Legacy */ --tab-block-margin: 2px !important; /* New version of --proton-tab-block-margin */ + --proton-tab-block-margin: var(--tab-block-margin) !important; /* Original: 4px, Legacy */ } :root[uidensity="touch"] { - /* Tab Bar - Like Original */ - --proton-tab-block-margin: 4px !important; /* Original: 4px */ + /* Like Original */ --tab-block-margin: 4px !important; /* New version of --proton-tab-block-margin */ }