X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Forion.css;h=cd96fa634a8ef787fcf290775079b61d55f87062;hp=6c0a553819ed61e017b41a32c8a170c908fa8690;hb=a54dd8ceedc2f96f9b23931505148cffa7ef71e2;hpb=50ae39b44cb48fa78a17de57328dd05eb372342a;ds=sidebyside diff --git a/LCARStrek/browser/devtools/orion.css b/LCARStrek/browser/devtools/orion.css index 6c0a5538..cd96fa63 100644 --- a/LCARStrek/browser/devtools/orion.css +++ b/LCARStrek/browser/devtools/orion.css @@ -3,9 +3,10 @@ * 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 { @@ -15,7 +16,7 @@ } .readonly > .view { - background: #000000; + background: #000000; /* super light green */ } .ruler { @@ -105,16 +106,10 @@ 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 { @@ -131,7 +126,7 @@ } .token_string { - color: #9C9CFF; /* blue */ + color: #9C9CFF; /* green */ font-style: italic; } @@ -155,34 +150,33 @@ .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 {