Tweak simple scrollbar color, add hovers

This commit is contained in:
mattpass
2020-03-08 13:23:11 +00:00
parent 551e19e53a
commit 3788e87b74

View File

@@ -36,7 +36,11 @@
position: absolute;
-moz-box-sizing: border-box;
box-sizing: border-box;
background: #888;
background: rgba(0,198,255,0.2);
}
.CodeMirror-simplescroll-horizontal:hover div, .CodeMirror-simplescroll-vertical:hover div {
background: rgba(0,198,255,0.8);
}
.CodeMirror-simplescroll .CodeMirror-scrollbar-filler, .CodeMirror-simplescroll .CodeMirror-gutter-filler {
@@ -55,6 +59,10 @@
background: rgba(0,198,255,0.2);
}
.CodeMirror-overlayscroll-horizontal div:hover, .CodeMirror-overlayscroll-vertical div:hover {
background: rgba(0,198,255,0.8);
}
.CodeMirror-overlayscroll .CodeMirror-scrollbar-filler, .CodeMirror-overlayscroll .CodeMirror-gutter-filler {
display: none;
background: transparent;