From 80f9447c21a09e874a32a5f0d27af84061facfea Mon Sep 17 00:00:00 2001
From: sawka <mike.sawka@gmail.com>
Date: Mon, 3 Jun 2024 22:18:54 -0700
Subject: [PATCH] remove some padding/margin, style scrollbars

---
 frontend/app/block/block.less |  1 +
 frontend/app/tab/tab.less     |  2 --
 public/style.less             | 19 +++++++++++++++++++
 public/theme.less             |  5 +++++
 4 files changed, 25 insertions(+), 2 deletions(-)

diff --git a/frontend/app/block/block.less b/frontend/app/block/block.less
index fb1c6024f..9f4bdecd1 100644
--- a/frontend/app/block/block.less
+++ b/frontend/app/block/block.less
@@ -40,5 +40,6 @@
         width: 100%;
         overflow: hidden;
         min-height: 0;
+        padding: 5px;
     }
 }
diff --git a/frontend/app/tab/tab.less b/frontend/app/tab/tab.less
index 1d480295d..621cf2510 100644
--- a/frontend/app/tab/tab.less
+++ b/frontend/app/tab/tab.less
@@ -18,8 +18,6 @@
         height: 100%;
         overflow: hidden;
         border: 1px solid var(--border-color);
-        margin: 5px;
         border-radius: 4px;
-        padding: 5px;
     }
 }
diff --git a/public/style.less b/public/style.less
index 4a0cbdfe4..b196f3d31 100644
--- a/public/style.less
+++ b/public/style.less
@@ -15,6 +15,25 @@ body {
     overflow: hidden;
 }
 
+*::-webkit-scrollbar {
+    width: 4px;
+    height: 4px;
+}
+
+*::-webkit-scrollbar-track {
+    background-color: var(--scrollbar-background-color) !important;
+}
+
+*::-webkit-scrollbar-thumb {
+    background-color: var(--scrollbar-thumb-color) !important;
+    border-radius: 4px;
+    margin: 0 1px 0 1px;
+}
+
+*::-webkit-scrollbar-thumb:hover {
+    background-color: var(--scrollbar-thumb-hover-color) !important;
+}
+
 .flex-spacer {
     flex-grow: 1;
 }
diff --git a/public/theme.less b/public/theme.less
index f3e5f8410..cfc3e6c48 100644
--- a/public/theme.less
+++ b/public/theme.less
@@ -40,4 +40,9 @@
     /* modals colors */
     --modal-bg-color: var(--app-bg-color);
     --modal-header-bottom-border-color: rgba(241, 246, 243, 0.15);
+
+    /* scrollbar colors */
+    --scrollbar-background-color: var(--app-bg-color);
+    --scrollbar-thumb-color: rgba(255, 255, 255, 0.3);
+    --scrollbar-thumb-hover-color: rgba(255, 255, 255, 0.5);
 }