From 2638f6e75a96d6fc2e0ae078e074c3136a20cc8f Mon Sep 17 00:00:00 2001
From: "tanguy@aristotle" <tanguy.herbron@outlook.com>
Date: Mon, 3 Aug 2020 13:46:07 +0200
Subject: [PATCH] Reduce tab sizes on firefox

---
 .mozilla/firefox/userChrome.css | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.mozilla/firefox/userChrome.css b/.mozilla/firefox/userChrome.css
index 24a4f07..e7731d3 100644
--- a/.mozilla/firefox/userChrome.css
+++ b/.mozilla/firefox/userChrome.css
@@ -9,7 +9,7 @@
   --mff-tab-border-radius: 0px;
   --mff-tab-color: #ECEFF4;
   --mff-tab-font-family: "Cantarell", sans;
-  --mff-tab-font-size: 11pt;
+  --mff-tab-font-size: 10pt;
   --mff-tab-font-weight: 400;
   --mff-tab-height: 32px;
   --mff-tab-pinned-bg: #A3BE8C;
@@ -53,7 +53,7 @@
 #TabsToolbar .tabbrowser-tab .tab-background,
 #TabsToolbar .tabbrowser-tab .tab-content {
   margin-top: 0px;
-  height: 36px;
+  height: 24px;
   text-align: center;
 }
 
@@ -686,7 +686,7 @@ tree,
 
 #nav-bar:not([customizing]) {
   visibility: visible;
-  margin-top: -40px;
+  margin-top: -55px;
   transition-delay: 1s;
   filter: alpha(opacity=0);
   opacity: 0;