From a31cf94699afafac142d3d5e68774acc3fe70495 Mon Sep 17 00:00:00 2001 From: Josh 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 {