--theme-splitter-color: #9C9CFF;
--theme-comment: #A09090;
+ --theme-sidebar-background: #000000;
--theme-contrastsidebar-background: #A09090;
--theme-contrastsidebar-color: #000000;
--theme-contrastsidebar-bordercolor: #000000;
.devtools-button {
border: 0 solid var(--theme-splitter-color);
background: var(--theme-toolbar-background);
+ color: var(--theme-body-color);
margin: 0;
padding: 0;
min-width: 32px;
background-repeat: no-repeat;
}
+.devtools-button[disabled]::before,
+.devtools-button:disabled::before {
+ opacity: 0.5;
+}
+
@media (min-resolution: 1.25dppx) {
.devtools-button::before {
background-size: 32px;
/* Searchbox is a div container element for a search input element */
.devtools-searchbox {
- display: -moz-box;
- -moz-box-flex: 1;
+ display: flex;
+ flex: 1;
position: relative;
}