@ -12,34 +12,9 @@
@import (reference) "variables";
@import (reference) "variables";
html.dark-mode {
html.dark-mode {
& when not (@scrollbar-dark-width = unset) {
scrollbar-color: @color-dark-scrollbar-thumb @color-dark-scrollbar-track;
scrollbar-color: @color-dark-scrollbar-thumb @color-dark-scrollbar-track;
scrollbar-width: @scrollbar-dark-width;
textarea,
select,
.popover-body,
.popupmenu,
.ui-dialog-content,
.frame-content,
.formcontent,
.table-responsive,
.table-responsive-sm,
.scroller {
// Firefox does not inherit scrollbar size from the html element
scrollbar-width: @scrollbar-dark-width;
}
&:not(.touch) {
&:not(.touch) {
::-webkit-scrollbar when (@scrollbar-dark-width = auto) {
// Note: If we do not set the width a default scrollbar is used in Chrome.
// And the custom colors set below do not work
width: 12px;
}
::-webkit-scrollbar when (@scrollbar-dark-width = thin) {
width: 6px;
}
::-webkit-scrollbar-track {
::-webkit-scrollbar-track {
background-color: @color-dark-scrollbar-track;
background-color: @color-dark-scrollbar-track;
}
}
@ -48,7 +23,6 @@ html.dark-mode {
background-color: @color-dark-scrollbar-thumb;
background-color: @color-dark-scrollbar-thumb;
}
}
}
}
}
body {
body {
color: @color-dark-font;
color: @color-dark-font;
@ -781,17 +755,11 @@ html.dark-mode {
}
}
.tox-menu {
.tox-menu {
scrollbar-width: @scrollbar-dark-width;
background-color: @color-dark-popover-background;
background-color: @color-dark-popover-background;
border-color: @color-dark-popover-border;
border-color: @color-dark-popover-border;
box-shadow: none;
box-shadow: none;
}
}
.tox-dialog__body-nav,
.tox-collection__group {
scrollbar-width: @scrollbar-dark-width;
}
.tox-collection__item-caret svg {
.tox-collection__item-caret svg {
fill: @color-dark-font;
fill: @color-dark-font;
}
}
@ -985,7 +953,6 @@ html.dark-mode {
}
}
.ui-menu {
.ui-menu {
scrollbar-width: @scrollbar-dark-width;
background-color: @color-dark-popover-background;
background-color: @color-dark-popover-background;
border-color: @color-dark-popover-border;
border-color: @color-dark-popover-border;
box-shadow: none;
box-shadow: none;