update both themes for browser winstripe changes in the Firefox 18 cycle
[themes.git] / LCARStrek / browser / devtools / orion.css
index a7fa7193abf2d74ea53d2fb7b294c736d53a70d1..cd96fa634a8ef787fcf290775079b61d55f87062 100644 (file)
@@ -16,7 +16,7 @@
 }
 
 .readonly > .view {
-  background: #000000;
+  background: #000000; /* super light green */
 }
 
 .ruler {
   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 {