X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fdebugger.css;h=89c6e02cbe4215fb978451aa9a8a009f92ebffab;hp=61be1a37d9be5e8954d1ff77921f140095dcc607;hb=b3bf08b110943f4abc9642b613f0dcb078c22b0b;hpb=9168a62c02f1b9fe7953f2fba5f32305980ac1a3 diff --git a/LCARStrek/browser/devtools/debugger.css b/LCARStrek/browser/devtools/debugger.css index 61be1a37..89c6e02c 100644 --- a/LCARStrek/browser/devtools/debugger.css +++ b/LCARStrek/browser/devtools/debugger.css @@ -15,7 +15,7 @@ window { } #sources-pane > tabs { - -moz-border-end: 1px solid #9C9CFF; /* Match the splitter color. */ + -moz-border-end-color: var(--theme-splitter-color); } #sources-toolbar > .devtools-toolbarbutton, @@ -34,7 +34,13 @@ window { } #pretty-print { - font-weight: bold; + list-style-image: url(debugger-prettyprint.png); +} + +@media (min-resolution: 2dppx) { + #pretty-print { + list-style-image: url(debugger-prettyprint@2x.png); + } } #toggle-breakpoints { @@ -85,11 +91,11 @@ window { color: #8050B0; } -#sources .selected > .black-boxed { +#sources .selected .black-boxed { color: #000000; } -#sources .black-boxed > .dbg-breakpoint { +#sources .black-boxed ~ .dbg-breakpoint { display: none; } @@ -109,8 +115,8 @@ window { width: 16px; height: 16px; background-image: url("debugger-blackbox.png"); - background-position: 0 0; - background-size: 32px 16px; + background-position: -16px -16px; + background-size: 32px 32px; background-repeat: no-repeat; -moz-margin-end: 5px; } @@ -184,7 +190,11 @@ window { /* Tracer dark+light theme */ .trace-item { - color: #FF9F00; /* Light foreground text */ + color: var(--theme-content-color1); +} + +.trace-item.black-boxed { + color: #A09090; } .trace-item.selected-matching { @@ -196,24 +206,24 @@ window { } .trace-call { - color: #9C9CFF; /* highlight blue */ + color: var(--theme-highlight-blue); } .trace-return, .trace-yield { - color: #008484; /* highlight green */ + color: var(--theme-highlight-green); } .trace-throw { - color: #FF0000; /* highlight red */ + color: var(--theme-highlight-red); } .trace-param { - color: #E7ADE7; /* Content text light */ + color: var(--theme-highlight-pink); } .trace-syntax { - color: #A09090; /* highlight grey */ + color: var(--theme-content-color2); } /* Breadcrumbs stack frames view */ @@ -253,15 +263,15 @@ window { .dbg-classic-stackframe-details-url { max-width: 90%; text-align: end; - color: #3333FF; + color: var(--theme-text-blue); } .dbg-classic-stackframe-details-sep { - color: #A09090; + color: var(--theme-body-color-alt) } .dbg-classic-stackframe-details-line { - color: #9C9CFF; + color: var(--theme-highlight-blue); } #callstack-list .side-menu-widget-item.selected label { @@ -361,8 +371,7 @@ window { background: none; text-decoration: underline; cursor: pointer; - - color: #9C9CFF; /* Blue highlight color */ + color: var(--theme-highlight-blue); } /* Event listeners view */ @@ -376,15 +385,15 @@ window { } .dbg-event-listener-separator { - color: #A09090; + color: var(--theme-body-color-alt); } .dbg-event-listener-targets { - color: #9C9CFF; + color: var(--theme-highlight-blue); } .dbg-event-listener-location { - color: #E7ADE7; + color: var(--theme-highlight-pink); } #event-listeners .side-menu-widget-item.selected { @@ -453,18 +462,18 @@ window { .results-panel-item-label-before { -moz-margin-end: 5px !important; - color: #A09090; + color: var(--theme-content-color2); cursor: inherit; } .results-panel-item-label { - color: #9C9CFF; + color: var(--theme-highlight-blue); font-weight: 600; cursor: inherit; } .results-panel-item-label-below { - color: #FF9F00; + color: var(--theme-content-color3); cursor: inherit; } @@ -498,17 +507,17 @@ window { .dbg-results-header-match-count { -moz-padding-start: 6px; - color: #8050B0; + color: var(--theme-content-disabled); } .dbg-results-line-number { - background: #000000; + background-color: var(--theme-toolbar-background); min-width: 40px; -moz-border-end: 1px solid #9C9CFF; -moz-padding-end: 4px; padding-top: 2px; text-align: end; - color: #FF9F00; + color: var(--theme-body-color); } .dbg-results-line-contents { @@ -519,11 +528,12 @@ window { .dbg-results-line-contents-string { padding: 1px; +/* color: var(--theme-body-color-alt);*/ } .dbg-results-line-contents-string[match=true] { background: #E7ADE7; - color: #000000; + color: var(--theme-selection-color); padding: 0; border: 1px solid #9C9CFF; border-radius: 4px;