* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+@import url("toolbox.css"); /* workaround until the move to toolbars.inc.css is done */
+
/* According to:
* https://bugzilla.mozilla.org/show_bug.cgi?id=715472#c17
*/
.theme-fg-color6,
.cm-s-mozilla .cm-string,
.cm-s-mozilla .cm-string-2 { /* original: Orange */
- color: #FF9F00;
+ color: #E7ADE7;
}
.theme-fg-color7,
color: #FF0000;
}
+.theme-toolbar,
+.devtools-toolbar { /* General toolbar styling */
+}
+
+
.theme-fg-contrast { /* To be used for text on theme-bg-contrast */
color: #FFCF00;
}
}
.cm-s-mozilla .CodeMirror-gutters { /* vertical line next to line numbers */
- border-right-color: #9C9CFF;
+ border-right-color: #A09090;
+ background: #402800;
}
.cm-s-markup-view pre {
line-height: 1.4em;
min-height: 1.4em;
}
+
+/* XUL panel styling (see browser/devtools/shared/widgets/Tooltip.js) */
+
+.theme-tooltip-panel .panel-arrowcontent {
+/* padding: 5px; */
+ background: rgba(0, 0, 0, .9);
+/* border-radius: 5px;
+ box-shadow: none;
+ border: 3px solid #9C9CFF; */
+}
+
+/* Overring panel arrow images to fit with our light and dark themes */
+/*
+.theme-tooltip-panel .panel-arrow[side="top"] {
+ list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark.png");
+ margin-bottom: -4px;
+}
+
+.theme-tooltip-panel .panel-arrow[side="bottom"] {
+ list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark.png");
+ margin-top: -4px;
+}
+
+.theme-tooltip-panel .panel-arrow[side="left"] {
+ list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark.png");
+ margin-right: -4px;
+}
+
+.theme-tooltip-panel .panel-arrow[side="right"] {
+ list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark.png");
+ margin-left: -4px;
+}
+
+@media (min-resolution: 2dppx) {
+ .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");
+ }
+
+ .theme-tooltip-panel .panel-arrow[side="left"],
+ .theme-tooltip-panel .panel-arrow[side="right"] {
+ list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-horizontal-dark@2x.png");
+ }
+}
+*/
+.theme-tooltip-panel .devtools-tooltip-simple-text {
+/* color: white; */
+ border-bottom: 1px solid #A09090;
+}
+
+.theme-tooltip-panel .devtools-tooltip-simple-text:last-child {
+ border-bottom: 0;
+}
+
+/* remove import on top of file when toolbars.inc.css work is done */