scrollbar aesthetics

rooklift · Jun 26, 2019 · 40bb12e · 40bb12e
1 parent 4a9eb7c
commit 40bb12e
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git 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
@@ -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;
 }