From ad7e833519a8e065a06ac2a02e3bc99f440dafbe Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Mon, 12 Nov 2018 07:12:58 +0100
Subject: [PATCH] theme scrollbars according to
 https://drafts.csswg.org/css-scrollbars/

---
 source/UI/css/UI.css    | 5 +++++
 source/UI/css/theme.css | 4 ++++
 source/UI/js/Core/UI.js | 2 +-
 3 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/source/UI/css/UI.css b/source/UI/css/UI.css
index 35401671..e6ea4dca 100644
--- a/source/UI/css/UI.css
+++ b/source/UI/css/UI.css
@@ -2275,6 +2275,11 @@ Scrollbars
     border-radius: 8px;
 }
 
+body {
+ scrollbar-width: thin;
+ scrollbar-width: 8px;
+}
+
 /*
 ================================================================================
 SourceViewer
diff --git a/source/UI/css/theme.css b/source/UI/css/theme.css
index 91427838..5c62887e 100644
--- a/source/UI/css/theme.css
+++ b/source/UI/css/theme.css
@@ -1188,6 +1188,10 @@ Scrollbars
     background: -webkit-linear-gradient(left, $buttonActiveGradient);
 }
 
+body.$themeClass {
+ scrollbar-color: $bodyBorder $bodyBackground;
+}
+
 /*
 ================================================================================
 SourceViewer
diff --git a/source/UI/js/Core/UI.js b/source/UI/js/Core/UI.js
index fc88c661..b3b7aebe 100644
--- a/source/UI/js/Core/UI.js
+++ b/source/UI/js/Core/UI.js
@@ -47,7 +47,7 @@ Ox.SCROLLBAR_SIZE = Ox.UI.SCROLLBAR_SIZE = $.browser.webkit ? 8 : (function() {
     width = 1 + width - (inner[0].offsetWidth == width
         ? outer[0].clientWidth : inner[0].offsetWidth);
     outer.remove();
-    return width;
+    return width + width % 2;
 })();
 
 //@ Ox.UI.PATH <str> Path of Ox UI