pull/217/head
vinceliuice 3 years ago
parent f9197d1be7
commit d0317fede6

@ -3620,11 +3620,7 @@ decoration {
// Window Close button
button.titlebutton {
// @extend %button-flat-simple;
@extend %circular-button;
// .selection-mode & { }
}
.monospace { font-family: monospace; }

@ -2034,6 +2034,7 @@ scrollbar {
> range > trough {
box-shadow: none;
outline: none;
background: none;
> slider {
transition: background-color $duration $ease-out;

@ -2325,6 +2325,7 @@ scrollbar.right {
scrollbar > range > trough {
box-shadow: none;
outline: none;
background: none;
}
scrollbar > range > trough > slider {

@ -2325,6 +2325,7 @@ scrollbar.right {
scrollbar > range > trough {
box-shadow: none;
outline: none;
background: none;
}
scrollbar > range > trough > slider {

@ -2325,6 +2325,7 @@ scrollbar.right {
scrollbar > range > trough {
box-shadow: none;
outline: none;
background: none;
}
scrollbar > range > trough > slider {

@ -2325,6 +2325,7 @@ scrollbar.right {
scrollbar > range > trough {
box-shadow: none;
outline: none;
background: none;
}
scrollbar > range > trough > slider {

@ -2325,6 +2325,7 @@ scrollbar.right {
scrollbar > range > trough {
box-shadow: none;
outline: none;
background: none;
}
scrollbar > range > trough > slider {

@ -2325,6 +2325,7 @@ scrollbar.right {
scrollbar > range > trough {
box-shadow: none;
outline: none;
background: none;
}
scrollbar > range > trough > slider {

Loading…
Cancel
Save