From e71bbc97a503da701883f3b4e65108cb8968b7d1 Mon Sep 17 00:00:00 2001
From: Carlo Piovesan <piovesan.carlo@gmail.com>
Date: Mon, 3 Oct 2022 12:07:50 +0200
Subject: [PATCH] Scrollbar

---
 index.html    |  3 ++-
 scrollbar.css | 21 +++++++++++++++++++++
 2 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100644 scrollbar.css

diff --git a/index.html b/index.html
index dd1f417..bd5b6f0 100644
--- a/index.html
+++ b/index.html
@@ -37,6 +37,7 @@
     <link rel="preload" as="style" href="https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@400;700&display=swap" rel="stylesheet">
     <link rel="stylesheet" id="us-fonts-css" href="https://fonts.googleapis.com/css?family=Montserrat%3A300%2C400%2C500%2C600%2C700&amp;display=swap&amp;ver=6.0.2" media="all">
     <link rel="stylesheet" href="./xterm/xterm.css" />
+    <link rel="stylesheet" href="./scrollbar.css" />
     <script>
         window.networkInterface = {};
     </script>
@@ -156,7 +157,7 @@
     <div style="flex-grow:0; flex-shrink: 0; height:1px; width: 100%; background-color: white;">
     </div>
     <main style="display: flex; flex-direction: row; justify-content: space-between; margin:0; height:100%;">
-      <div style="flex-grow:1; height:100%;display:inline-block;margin:0;" id="console">
+      <div style="flex-grow:1; height:100%;display:inline-block;margin:0;" class="scrollbar" id="console">
       </div>
 
     </main>
diff --git a/scrollbar.css b/scrollbar.css
new file mode 100644
index 0000000..830e292
--- /dev/null
+++ b/scrollbar.css
@@ -0,0 +1,21 @@
+.scrollbar {
+  scrollbar-color: #777 #0000;
+}
+
+.scrollbar *::-webkit-scrollbar {
+  height: 6px;
+  width: 6px;
+  background-color: #0000;
+}
+
+/* Add a thumb */
+.scrollbar *::-webkit-scrollbar-thumb {
+  border-radius: 3px;
+  height: 6px;
+  width: 6px;
+    background: #777;
+}
+
+.scrollbar *::-webkit-scrollbar-thumb:hover {
+    background: #555;
+}