--theme-splitter-color: #9C9CFF;
--theme-comment: #A09090;
+ --theme-sidebar-background: #000000;
--theme-contrastsidebar-background: #A09090;
--theme-contrastsidebar-color: #000000;
--theme-contrastsidebar-bordercolor: #000000;
.devtools-searchinput {
background-color: #000000;
color: #E7ADE7;
+ border: 1px solid #9C9CFF;
+}
+
+.devtools-textinput:focus,
+.devtools-searchinput:focus {
+ border-color: #008484;
}
.CodeMirror-Tern-fname {
.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;
}