From 2add5d58566a2ed1be0dbec42a74845b400df32f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Felix=20H=C3=A4usler?= <hfelix@protonmail.ch>
Date: Sat, 5 May 2018 19:20:52 +0200
Subject: [PATCH] Smaller scrollbars and hover color (#245)

---
 static/themes/dark.css  | 7 ++++++-
 static/themes/light.css | 7 ++++++-
 2 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/static/themes/dark.css b/static/themes/dark.css
index 5f7f9f23..48eb870c 100755
--- a/static/themes/dark.css
+++ b/static/themes/dark.css
@@ -18,10 +18,15 @@ body {
 ::-webkit-scrollbar {
   background: rgb(43, 43, 43);
 }
-
+::-webkit-scrollbar:vertical {
+  width: 12px;
+}
 ::-webkit-scrollbar-thumb {
   background: rgb(55, 55, 55);
 }
+::-webkit-scrollbar-thumb:hover {
+  background: #3F3F3F;
+}
 
 #ag-editor-id {
   max-width: 860px;
diff --git a/static/themes/light.css b/static/themes/light.css
index d1c7166a..ce7c9975 100644
--- a/static/themes/light.css
+++ b/static/themes/light.css
@@ -19,10 +19,15 @@ body {
 ::-webkit-scrollbar {
   background: rgb(252, 252, 252);
 }
-
+::-webkit-scrollbar:vertical {
+  width: 12px;
+}
 ::-webkit-scrollbar-thumb {
   background: #EBEEF5;
 }
+::-webkit-scrollbar-thumb:hover {
+  background: #E1E4EA;
+}
 
 #ag-editor-id {
   max-width: 860px;