From 40bb12e692a2c04ab5d9b0b14441dcd2a1d9cc18 Mon Sep 17 00:00:00 2001
From: fohristiwhirl <fohristiwhirl@users.noreply.github.com>
Date: Wed, 26 Jun 2019 10:23:05 +0100
Subject: [PATCH] scrollbar aesthetics

---
 99_start.js |  2 +-
 nibbler.css | 10 ++++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/99_start.js b/99_start.js
index 6dfef608..47ffad18 100644
--- a/99_start.js
+++ b/99_start.js
@@ -57,7 +57,7 @@ let canvas_bottom = canvas.getBoundingClientRect().bottom;
 infobox.style.height = (canvas_bottom - infobox_top).toString() + "px";
 
 function set_movelist_height() {
-	let desired_height = window.innerHeight - movelist.getBoundingClientRect().top - 10;
+	let desired_height = window.innerHeight - movelist.getBoundingClientRect().top - 16;
 	if (desired_height < 60) {
 		desired_height = 60;
 	}
diff --git a/nibbler.css b/nibbler.css
index 5fd1e4ab..bce3e68b 100644
--- a/nibbler.css
+++ b/nibbler.css
@@ -8,6 +8,14 @@ body {
 	padding: 0;
 }
 
+::-webkit-scrollbar {     
+	background-color: #080808;
+}
+
+::-webkit-scrollbar-thumb {
+	background-color: #444444;
+}
+
 .margin1em {
 	margin: 1em;
 }
@@ -98,6 +106,7 @@ input[type=text]:focus{
 	font-family: monospace, monospace;
 	overflow-x: hidden;
 	overflow-y: auto;
+	padding-right: 10px;				/* so the text doesn't get so near the scroll bar */
 	user-select: none;
 	white-space: pre-wrap;
 }
@@ -107,6 +116,7 @@ input[type=text]:focus{
 	margin-top: 1em;
 	overflow-x: hidden;
 	overflow-y: auto;
+	padding-right: 10px;				/* so the text doesn't get so near the scroll bar */
 	user-select: none;
 	white-space: pre-wrap;
 }