From a08c7d65daaf6febaa6c0d22598fce85f5ff4b7b Mon Sep 17 00:00:00 2001 From: Michael Serajnik Date: Mon, 18 Dec 2017 19:06:24 +0100 Subject: [PATCH] client/css: add scrollbar styling --- client/css/colors.styl | 2 ++ client/css/core-general.styl | 7 ++++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/client/css/colors.styl b/client/css/colors.styl index ed68e41..3be05fe 100644 --- a/client/css/colors.styl +++ b/client/css/colors.styl @@ -55,3 +55,5 @@ $hovered-first-note-point-color = red $safety-safe = #88D488 $safety-sketchy = #F3D75F $safety-unsafe = #F3985F +$scrollbar-thumb-color = $main-color +$scrollbar-bg-color = $input-enabled-background-color diff --git a/client/css/core-general.styl b/client/css/core-general.styl index ef3aea1..02f4516 100644 --- a/client/css/core-general.styl +++ b/client/css/core-general.styl @@ -238,7 +238,12 @@ a .access-key margin-bottom: 0 !important .table-wrap - overflow-x: scroll + overflow-x: auto + &::-webkit-scrollbar + height: 6px + background-color: $scrollbar-bg-color + &::-webkit-scrollbar-thumb + background-color: $scrollbar-thumb-color /* hack to prevent text from being copied */ [data-pseudo-content]:before {