}
.theme-gutter {
- background-color: #000000;
+ background-color: var(--theme-tab-toolbar-background);
color: var(--theme-content-color3);
- border-color: #9C9CFF;
+ border-color: var(--theme-splitter-color);
}
-.theme-separator { /* original: grey */
- border-color: #8050B0;
+.theme-separator {
+ border-color: var(--theme-splitter-color);
}
.theme-fg-color1,
.devtools-toolbar,
.devtools-sidebar-tabs tabs,
.devtools-sidebar-alltabs,
-.CodeMirror-dialog { /* General toolbar styling */
+.cm-s-mozilla .CodeMirror-dialog { /* General toolbar styling */
/* color: var(--theme-body-color-alt);
background-color: var(--theme-toolbar-background);*/
}
* Best effort to match the existing theme, some of the colors
* are duplicated here to prevent weirdness in the main theme. */
-.CodeMirror,
.CodeMirror.cm-s-mozilla { /* Inherit platform specific font sizing and styles */
font-family: inherit;
font-size: inherit;
background: transparent;
}
-.CodeMirror pre,
+.CodeMirror.cm-s-mozilla pre,
.cm-s-mozilla .cm-variable-2,
.cm-s-mozilla .cm-variable-3,
.cm-s-mozilla .cm-operator,
/* Overring panel arrow images to fit with our light and dark themes */
/*
-.theme-tooltip-panel .panel-arrow[side="top"] {
- list-style-image: url("chrome://devtools/skin/tooltip/arrow-vertical-dark.png");
- margin-bottom: -4px;
+.theme-tooltip-panel .panel-arrow {
+ --arrow-margin: -4px;
+}
+
+:root[platform="win"] .theme-tooltip-panel .panel-arrow {
+ --arrow-margin: -7px;
}
+.theme-tooltip-panel .panel-arrow[side="top"],
.theme-tooltip-panel .panel-arrow[side="bottom"] {
list-style-image: url("chrome://devtools/skin/tooltip/arrow-vertical-dark.png");
- margin-top: -4px;
+ / !important is needed to override the popup.css rules in toolkit/themes /
+ width: 39px !important;
+ height: 16px !important;
}
-.theme-tooltip-panel .panel-arrow[side="left"] {
+.theme-tooltip-panel .panel-arrow[side="left"],
+.theme-tooltip-panel .panel-arrow[side="right"] {
list-style-image: url("chrome://devtools/skin/tooltip/arrow-horizontal-dark.png");
- margin-right: -4px;
+ / !important is needed to override the popup.css rules in toolkit/themes /
+ width: 16px !important;
+ height: 39px !important;
+}
+
+.theme-tooltip-panel .panel-arrow[side="top"] {
+ margin-bottom: var(--arrow-margin);
+}
+
+.theme-tooltip-panel .panel-arrow[side="bottom"] {
+ margin-top: var(--arrow-margin);
+}
+
+.theme-tooltip-panel .panel-arrow[side="left"] {
+ margin-right: var(--arrow-margin);
}
.theme-tooltip-panel .panel-arrow[side="right"] {
- list-style-image: url("chrome://devtools/skin/tooltip/arrow-horizontal-dark.png");
- margin-left: -4px;
+ margin-left: var(--arrow-margin);
}
@media (min-resolution: 1.1dppx) {