+
+/* CodeMirror specific styles.
+ * Best effort to match the existing theme, some of the colors
+ * are duplicated here to prevent weirdness in the main theme. */
+
+.CodeMirror { /* Inherit platform specific font sizing and styles */
+ font-family: inherit;
+ font-size: inherit;
+ background: transparent;
+}
+
+.CodeMirror pre,
+.cm-s-mozilla .cm-variable-2,
+.cm-s-mozilla .cm-variable-3,
+.cm-s-mozilla .cm-operator,
+.cm-s-mozilla .cm-special { /* theme-body color */
+ color: #FF9F00;
+}
+
+.cm-s-mozilla .CodeMirror-lines .CodeMirror-cursor {
+ border-left: solid 1px #FF9F00;
+}
+
+.cm-s-mozilla.CodeMirror-focused .CodeMirror-selected { /* selected text (focused) */
+ background: #008484;
+ color: #FFCF00;
+}
+
+.cm-s-mozilla .CodeMirror-selected { /* selected text (unfocused) */
+ background: #008484;
+ color: #000000;
+}
+
+.cm-s-mozilla .CodeMirror-activeline-background { /* selected color with alpha */
+ background: rgba(0, 132, 132, .15);
+}
+
+div.cm-s-mozilla span.CodeMirror-matchingbracket { /* highlight brackets */
+ outline: solid 1px rgba(0, 132, 132, .25);
+ color: #FFCF00;
+}
+
+/* Highlight for a line that contains an error. */
+div.CodeMirror div.error-line {
+ background: rgba(255,0,0,0.2);
+}
+
+/* Highlight for a line that represents a stack frame's location. */
+div.CodeMirror div.debug-line {
+ background: rgba(156,156,255,0.1);
+}
+
+/* Generic highlighted text */
+div.CodeMirror span.marked-text {
+ background: rgba(255,207,0,0.2);
+ border: 1px dashed rgba(156,156,255,0.6);
+ -moz-margin-start: -1px;
+ -moz-margin-end: -1px;
+}
+
+/* Highlight for evaluating current statement. */
+div.CodeMirror span.eval-text {
+ background-color: #403800;
+}
+
+.cm-s-mozilla .CodeMirror-linenumber { /* line number text */
+ color: #A09090;
+}
+
+.cm-s-mozilla .CodeMirror-gutters { /* vertical line next to line numbers */
+ border-right-color: #A09090;
+ background-color: #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 */