From 8a5e5c3fb483fb183ad521ad7ca1a5efe28b3305 Mon Sep 17 00:00:00 2001
From: David Lechner <david@pybricks.com>
Date: Thu, 28 Jan 2021 12:25:36 -0600
Subject: [PATCH] doc/ide: styling to match Pybricks Code

We were injecting this from Pybricks code, but it caused the scroll bars
to flash when loading a page.
---
 doc/common/_static/css/ide.css | 36 ++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/doc/common/_static/css/ide.css b/doc/common/_static/css/ide.css
index 22e9fed..11bf72e 100644
--- a/doc/common/_static/css/ide.css
+++ b/doc/common/_static/css/ide.css
@@ -4,3 +4,39 @@
 .wy-breadcrumbs li.wy-breadcrumbs-aside {
     display: none;
 }
+
+/* Scrollbar styling to match Pybricks Code. */
+/* https://github.com/pybricks/pybricks-code/blob/master/src/index.scss */
+
+::-webkit-scrollbar {
+    width: 16px;
+}
+
+.bp3-dark ::-webkit-scrollbar-track {
+    background: #293742;
+}
+
+::-webkit-scrollbar-track {
+    background: #e8e8e8;
+}
+
+.bp3-dark ::-webkit-scrollbar-thumb {
+    border-color: #293742;
+    background: #a7b6c2;
+}
+
+::-webkit-scrollbar-thumb {
+    border-width: 3px;
+    border-style: solid;
+    border-radius: 8px;
+    border-color: #e8e8e8;
+    background: #5c7080;
+}
+
+.bp3-dark ::-webkit-scrollbar-thumb:hover {
+    background: #f5f8fa;
+}
+
+::-webkit-scrollbar-thumb:hover {
+    background: #182026;
+}