--theme-splitter-color: #9C9CFF;
--theme-comment: #A09090;
+ --theme-sidebar-background: #000000;
--theme-contrastsidebar-background: #A09090;
--theme-contrastsidebar-color: #000000;
--theme-contrastsidebar-bordercolor: #000000;
--theme-content-color1: #FF9F00;
--theme-content-color2: #A09090;
--theme-content-color3: #FF9F00;
+ --theme-content-color4: #9C9CFF;
--theme-content-disabled: #8050B0;
--theme-text-blue: #3333FF;
--theme-highlight-orange: #FF9F00;
--theme-highlight-red: #FF0000;
--theme-highlight-pink: #E7ADE7;
+
+ /* Colors used in Graphs, like performance tools. Mostly similar to some "highlight-*" colors. */
+ --theme-graphs-green: #008484;
+ --theme-graphs-blue: #9C9CFF;
+ --theme-graphs-purple: #C09070;
+ --theme-graphs-yellow: #FFCF00;
+ --theme-graphs-red: #FF0000;
+ --theme-graphs-grey: #A09090;
}
.theme-body {
background-position: -14px 0;
}
-@media (min-resolution: 2dppx) {
+@media (min-resolution: 1.25dppx) {
.theme-twisty, .theme-checkbox {
background-image: url("chrome://browser/skin/devtools/controls@2x.png");
}
margin-left: -4px;
}
-@media (min-resolution: 2dppx) {
+@media (min-resolution: 1.25dppx) {
.theme-tooltip-panel .panel-arrow[side="top"],
.theme-tooltip-panel .panel-arrow[side="bottom"] {
list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark@2x.png");
.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;
}
-@media (min-resolution: 2dppx) {
+.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;
}
-moz-image-region: rect(0, 32px, 16px, 16px);
}
-@media (min-resolution: 2dppx) {
+@media (min-resolution: 1.25dppx) {
.devtools-searchinput {
background-image: url("magnifying-glass@2x.png");
}
background-image: url("chrome://browser/skin/devtools/command-rulers.png");
}
-@media (min-resolution: 2dppx) {
+@media (min-resolution: 1.25dppx) {
#command-button-paintflashing > image {
background-image: url("chrome://browser/skin/devtools/command-paintflashing@2x.png");
}