From f24242d721e2936649a5914678d7175dd039ff05 Mon Sep 17 00:00:00 2001
From: Adorian Doran <adorian@esevo.ro>
Date: Wed, 27 Nov 2024 19:27:11 +0200
Subject: [PATCH] Add a way to customize the height of the tab bar / tabs and
 the first tab offset

---
 src/public/stylesheets/theme-next.css | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/src/public/stylesheets/theme-next.css b/src/public/stylesheets/theme-next.css
index 665c0adad..be5ec86a8 100644
--- a/src/public/stylesheets/theme-next.css
+++ b/src/public/stylesheets/theme-next.css
@@ -16,6 +16,10 @@
     --launcher-pane-size: 58px;
     --launcher-pane-button-margin: 6px;
     --launcher-pane-button-gap: 3px;
+
+    --tab-bar-height: 50px;
+    --tab-height: 36px;
+    --tab-first-item-horiz-offset: 0;
 }
 
 /*
@@ -399,10 +403,28 @@
  * Tab bar
  */
 
+/* The parent element of the tab bar */
+#rest-pane > div.component:first-child {
+    height: var(--tab-bar-height) !important;
+}
+
 .tab-row-widget {
     background: transparent !important;
 }
 
+.tab-row-widget-container {
+    margin-top: calc((var(--tab-bar-height) - var(--tab-height)) / 2);
+    height: var(--tab-height) !important;
+}
+
+.tab-row-widget .note-tab .note-tab-wrapper {
+    height: var(--tab-height) !important;
+}
+
+.tab-row-widget .note-tab:nth-child(1) {
+    transform: translate3d(var(--tab-first-item-horiz-offset), 0, 0);
+}
+
 /*
  * Center pane
  */