From 9f69281a0f804e56d0388760a05a607951326da9 Mon Sep 17 00:00:00 2001 From: Wilfred Wee Date: Sun, 20 May 2018 17:40:43 -0700 Subject: [PATCH] Better left margin for tabs. --- userChrome-dark.css | 4 ++++ userChrome-default.css | 4 ++++ userChrome-light.css | 4 ++++ 3 files changed, 12 insertions(+) diff --git a/userChrome-dark.css b/userChrome-dark.css index ff5241f..55645fd 100644 --- a/userChrome-dark.css +++ b/userChrome-dark.css @@ -17,6 +17,10 @@ padding-inline-start: 15px !important; } +#tabbrowser-tabs{ + margin-left:-15px; +} + .titlebar-placeholder { border: none !important; } diff --git a/userChrome-default.css b/userChrome-default.css index a8c4f5c..9e34e40 100644 --- a/userChrome-default.css +++ b/userChrome-default.css @@ -17,6 +17,10 @@ padding-inline-start: 15px !important; } +#tabbrowser-tabs{ + margin-left:-15px; +} + .titlebar-placeholder { border: none !important; } diff --git a/userChrome-light.css b/userChrome-light.css index bd11369..8f9382e 100644 --- a/userChrome-light.css +++ b/userChrome-light.css @@ -17,6 +17,10 @@ padding-inline-start: 15px !important; } +#tabbrowser-tabs{ + margin-left:-15px; +} + .titlebar-placeholder { border: none !important; }