From 1ba2c063e0d2e96022f00ad3f145b9bfb4d1b130 Mon Sep 17 00:00:00 2001
From: Noritada Kobayashi <noritada.kobayashi@gmail.com>
Date: Thu, 22 Dec 2022 15:40:03 +0900
Subject: [PATCH 1/2] Thin scrollbars in Chrome and Safari to make them less
 assertive (#1483)

---
 src/theme/css/chrome.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/theme/css/chrome.css b/src/theme/css/chrome.css
index 59eae11f..5937a3ce 100644
--- a/src/theme/css/chrome.css
+++ b/src/theme/css/chrome.css
@@ -4,9 +4,11 @@
 
 ::-webkit-scrollbar {
     background: var(--bg);
+    width: 8px;
 }
 ::-webkit-scrollbar-thumb {
     background: var(--scrollbar);
+    border-radius: 4px;
 }
 html {
     scrollbar-color: var(--scrollbar) var(--bg);

From dcc9efea0abe824eea893cbfe3d5a5827c2d1283 Mon Sep 17 00:00:00 2001
From: Noritada Kobayashi <noritada.kobayashi@gmail.com>
Date: Wed, 18 Jan 2023 23:51:09 +0900
Subject: [PATCH 2/2] Remove the WebKit-specific scrollbar styling altogether

It is preferable to remove WebKit-specific styling and use the browser
and OS default scrollbars.
Thanks to comments from @julianfortune, @arniu, and @ehuss.

Closes #1483.
---
 src/theme/css/chrome.css | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/theme/css/chrome.css b/src/theme/css/chrome.css
index 5937a3ce..53a79ccf 100644
--- a/src/theme/css/chrome.css
+++ b/src/theme/css/chrome.css
@@ -2,14 +2,6 @@
 
 @import 'variables.css';
 
-::-webkit-scrollbar {
-    background: var(--bg);
-    width: 8px;
-}
-::-webkit-scrollbar-thumb {
-    background: var(--scrollbar);
-    border-radius: 4px;
-}
 html {
     scrollbar-color: var(--scrollbar) var(--bg);
 }