From 410a0c8794e74f730962b179664dbade40c2fa1a Mon Sep 17 00:00:00 2001
From: Josh <josh.ja.butt@gmail.com>
Date: Fri, 29 May 2020 17:52:56 +1000
Subject: [PATCH] Use default scrollbar for body on webkit browsers
---
docs/_static/style.css | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/docs/_static/style.css b/docs/_static/style.css
index c06d7cdb8..f89ab1401 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -140,22 +140,20 @@ body {
/* Scrollbar related */
-body::-webkit-scrollbar,
#sidebar::-webkit-scrollbar {
- width: 1em;
+ width: 0.5em;
}
-body::-webkit-scrollbar-thumb,
#sidebar::-webkit-scrollbar-thumb {
background-color: var(--scrollbar);
- border-radius: 0.5em;
+ border-radius: 0.25em;
}
-body::-webkit-scrollbar-thumb:hover,
#sidebar::-webkit-scrollbar-thumb:hover {
background-color: var(--scrollbar-hover);
}
+
/* grid related */
.main-grid {