|
|
|
@ -1185,6 +1185,7 @@ li.CodeMirror-hint-active {
|
|
|
|
|
transition-timing-function: ease; |
|
|
|
|
user-select: none; |
|
|
|
|
background-color: rgba(0, 0, 0, 0.1); |
|
|
|
|
filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=#19000000,endColorstr=#19000000); |
|
|
|
|
border-radius: 5px; |
|
|
|
|
} |
|
|
|
|
.scrollbar-layout-main-vertical { |
|
|
|
@ -1204,6 +1205,7 @@ li.CodeMirror-hint-active {
|
|
|
|
|
left: 0; |
|
|
|
|
transition-property: background-color; |
|
|
|
|
background-color: rgba(0, 0, 0, 0.1); |
|
|
|
|
filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=#19000000,endColorstr=#19000000); |
|
|
|
|
} |
|
|
|
|
/* Touching the scroll-track directly makes the scroll-track bolder */ |
|
|
|
|
.scrollbar-layout-main-horizontal.public-scrollbar-main-active, |
|
|
|
|