* You can obtain one at http://mozilla.org/MPL/2.0/. */
.viewContainer {
- background: #cddae5; /* This will be seen as the continuation of the ruler */
- font-family: monospace;
- font-size: inherit; /* inherit browser's default monospace font size */
+ background: #000000; /* This will be seen as the continuation of the ruler */
+ font-family: "Liberation Mono", Consolas, "Courier New", monospace;
+ /* font-size: inherit; * inherit browser's default monospace font size */
+ font-size: 11px; /* use typical LCARStrek font size */
}
.view {
}
.readonly > .view {
- background: #000000;
+ background: #000000; /* super light green */
}
.ruler {
background-position: center;
background-repeat: no-repeat;
}
-.annotationHTML.task {
+.annotation.task .annotationHTML {
background-image: url("chrome://browser/skin/devtools/orion-task.png");
}
-.annotationHTML.breakpoint {
+.annotation.breakpoint .annotationHTML {
background-image: url("chrome://browser/skin/devtools/orion-breakpoint.png");
}
-.annotationHTML.debugLocation {
+.annotation.debugLocation .annotationHTML {
background-image: url("chrome://browser/skin/devtools/orion-debug-location.png");
}
+.annotation.breakpoint.debugLocation .annotationHTML,
+.annotation.task.debugLocation .annotationHTML {
+ background-position: center, center;
+ background-repeat: no-repeat, no-repeat;
+ background-size: 75%, 100%;
+}
+.annotation.breakpoint.debugLocation .annotationHTML {
+ background-image: url("chrome://browser/skin/devtools/orion-debug-location.png"),
+ url("chrome://browser/skin/devtools/orion-breakpoint.png");
+}
+
+.annotation.task.debugLocation .annotationHTML {
+ background-image: url("chrome://browser/skin/devtools/orion-debug-location.png"),
+ url("chrome://browser/skin/devtools/orion-task.png");
+}
/* Styles for the overview ruler */
.annotationOverview {
outline: 1px solid #008484;
}
-.token_singleline_comment {
- color: #33CC33; /* green */
-}
-
-.token_multiline_comment {
- color: #33CC33; /* green */
-}
-
+.token_singleline_comment,
+.token_multiline_comment,
.token_doc_comment {
- color: #33CC33; /* green */
+ color: #33CC33; /* grey */
}
.token_doc_html_markup {
}
.token_string {
- color: #9C9CFF; /* blue */
+ color: #9C9CFF; /* green */
font-style: italic;
}
.line_caret,
.annotationLine.currentLine { /* Current line */
- background: #402800; /* lighter than the background */
+ background: #402800;
}
.readonly .line_caret,
.readonly .annotationLine.currentLine {
- background: #402800; /* a bit darker than the background */
+ background: #402800;
}
/* Styling for html syntax highlighting */
.entity-name-tag {
- color: #E7ADE7; /* purple */
+ color: #E7ADE7; /* blue */
}
.entity-other-attribute-name {
- color: #E7ADE7; /* purple */
+ color: #E7ADE7; /* blue */
}
.punctuation-definition-comment {
- color: #33CC33; /* green */
+ color: #33CC33; /* grey */
}
.comment {
- color: #33CC33; /* green */
+ color: #33CC33; /* grey */
}
.string-quoted {
- color: #9C9CFF; /* blue */
- font-style: italic;
+ color: #9C9CFF; /* orange */
}
.invalid {