X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fwebconsole.css;h=0f80962d111c4c142f9412cada38b7bccc570d17;hp=b521681247aa48e4aacde91e46c3bed1e1298db0;hb=1b13529a8907a5520788e317aee6205bc32d1fbe;hpb=c4460289dd1725d56322647e95f117e93f1e8941 diff --git a/LCARStrek/browser/devtools/webconsole.css b/LCARStrek/browser/devtools/webconsole.css index b5216812..0f80962d 100644 --- a/LCARStrek/browser/devtools/webconsole.css +++ b/LCARStrek/browser/devtools/webconsole.css @@ -6,13 +6,23 @@ window { padding: 0; } +/* + * This hardcoded width likely due to a toolkit Windows specific bug. + * See http://hg.mozilla.org/mozilla-central/annotate/f38d6df93cad/toolkit/themes/winstripe/global/textbox-aero.css#l7 + */ + +.hud-filter-box { + width: 200px; +} + +/* === webconsole.inc.css === */ + /* General output styles */ .webconsole-timestamp { color: #8050B0; margin-top: 0; margin-bottom: 0; - font-family: "Liberation Mono", Consolas, "Courier New", monospace; } .hud-msg-node { @@ -26,12 +36,6 @@ window { height: 8px; } -.hud-output-node div { - -moz-user-select: text; - white-space: pre-wrap; - -moz-user-focus: normal; -} - .hud-clickable { cursor: pointer; text-decoration: underline; @@ -43,7 +47,6 @@ window { -moz-margin-start: 3px; -moz-margin-end: 6px; white-space: pre-wrap; - font-family: "Liberation Mono", Consolas, "Courier New", monospace; } .webconsole-msg-body-piece { @@ -81,16 +84,25 @@ window { text-align: end; } +.webconsole-mixed-content { + color: #FF0000; +} + +.webconsole-mixed-content-link { + color: #3333FF; + margin: 0; +} + +.webconsole-learn-more-link { + color: #9C9CFF; + margin: 0 0 0 4px; +} + .hud-msg-node[selected="true"] > .webconsole-timestamp, .hud-msg-node[selected="true"] > .webconsole-location { color: inherit; } -.jsterm-input-node, -.jsterm-complete-node { - font-family: "Liberation Mono", Consolas, "Courier New", monospace; -} - .hud-output-node { -moz-appearance: none; border-bottom: 1px solid #9C9CFF; @@ -111,6 +123,10 @@ window { /* WebConsole colored drops */ +.webconsole-filter-button { + -moz-user-focus: normal; +} + .webconsole-filter-button[checked] { /* color: white !important; */ } @@ -208,15 +224,6 @@ window { -moz-image-region: rect(24px, 32px, 32px, 24px); } -webconsole-mixed-content { - color: #FF0000; -} - -.webconsole-mixed-content-link { - color: #9C9CFF; - margin: 0; -} - /* Input and output styles */ .webconsole-msg-input > .webconsole-msg-icon-container, .webconsole-msg-output > .webconsole-msg-icon-container { @@ -230,19 +237,7 @@ webconsole-mixed-content { .webconsole-msg-output { -moz-image-region: rect(24px, 48px, 32px, 40px); } -/* -.webconsole-close-button { - border: none; - padding-top: 4px; - padding-bottom: 5px; - list-style-image: url("chrome://global/skin/icons/close-button.gif"); -} -.webconsole-close-button:hover, -.webconsole-close-button:hover:active { - list-style-image: url("chrome://global/skin/icons/close-button-hover.gif"); -} -*/ /* JSTerm Styles */ .jsterm-input-node, @@ -252,7 +247,8 @@ webconsole-mixed-content { } .jsterm-input-node { - background: url("chrome://browser/skin/devtools/commandline.png") 4px 3px no-repeat; + background: -moz-image-rect(url("chrome://browser/skin/devtools/commandline-icon.png"), 0, 32, 16, 16) no-repeat; + background-position: 0%; } :-moz-any(.jsterm-input-node, @@ -264,17 +260,6 @@ webconsole-mixed-content { color: #8050B0; } -/* Filter */ - -/* - * This hardcoded width likely due to a toolkit Windows specific bug. - * See http://hg.mozilla.org/mozilla-central/annotate/f38d6df93cad/toolkit/themes/winstripe/global/textbox-aero.css#l7 - */ - -.hud-filter-box { - width: 200px; -} - .webconsole-msg-inspector iframe { height: 7em; margin-bottom: 15px; @@ -287,6 +272,8 @@ webconsole-mixed-content { border: none; } +/* Security styles */ + .webconsole-msg-security > .webconsole-msg-icon-container { -moz-border-start: solid #FF0000 6px; } @@ -295,3 +282,24 @@ webconsole-mixed-content { background-color: #FF0000; border-color: #FFCF00; } + +.webconsole-msg-security.webconsole-msg-error { + -moz-image-region: rect(32px, 16px, 40px, 8px); +} + +.webconsole-msg-security.webconsole-msg-warn { + -moz-image-region: rect(32px, 24px, 40px, 16px); +} + +.navigation-marker { + color: #000000; + background-color: #A09090; + -moz-margin-start: 3px; + -moz-margin-end: 6px; + font-size: 0.9em; +} + +.navigation-marker .url { + background-color: #000000; + -moz-padding-end: 6px; +}