Move scrollbar styling to ui.less

This commit is contained in:
Elisée Maurer 2013-12-19 23:52:41 +01:00
parent 2f0c737290
commit 33d890ff63
2 changed files with 38 additions and 38 deletions

View file

@ -56,43 +56,6 @@ a[target] {
#editor {
flex-grow: 1;
padding-top: 2px;
::-webkit-scrollbar {
width: 15px;
height: 15px;
}
::-webkit-scrollbar-button {
height: 0px;
width: 0px;
}
::-webkit-scrollbar-track {
background-color: mix(@foreground, @background, 15%);
}
::-webkit-scrollbar-track:vertical {
border-left: 1px solid mix(@foreground, @background, 25%);
}
::-webkit-scrollbar-track:horizontal {
border-top: 1px solid mix(@foreground, @background, 25%);
}
::-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%);
}
}
.bottom-bar {

View file

@ -91,4 +91,41 @@
color: @foreground;
-webkit-appearance: none;
}
}
}
::-webkit-scrollbar {
width: 15px;
height: 15px;
}
::-webkit-scrollbar-button {
height: 0px;
width: 0px;
}
::-webkit-scrollbar-track {
background-color: mix(@foreground, @background, 15%);
}
::-webkit-scrollbar-track:vertical {
border-left: 1px solid mix(@foreground, @background, 25%);
}
::-webkit-scrollbar-track:horizontal {
border-top: 1px solid mix(@foreground, @background, 25%);
}
::-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%);
}