Merge pull request #100 from elisee/better-scrollbars

Style editor scrollbars with light/dark ui theme
This commit is contained in:
Thomas Wilburn 2013-12-19 15:04:33 -08:00
commit 07770080bb

View file

@ -91,4 +91,33 @@
color: @foreground;
-webkit-appearance: none;
}
}
}
::-webkit-scrollbar {
width: 15px;
height: 15px;
}
::-webkit-scrollbar-button {
height: 0px;
width: 0px;
}
::-webkit-scrollbar-track {
background-color: transparent;
}
::-webkit-scrollbar-thumb {
background-color: mix(@foreground, @background, 30%);
border: 3px solid transparent;
border-radius: 6px;
background-clip: content-box;
}
::-webkit-scrollbar-thumb:hover {
background-color: mix(@foreground, @background, 35%);
}
::-webkit-scrollbar-corner {
background-color: mix(@foreground, @background, 15%);
}