X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fdark-theme.css;fp=LCARStrek%2Fbrowser%2Fdevtools%2Fdark-theme.css;h=b9c7f60b8436e9fa52ac63186fac759daac8b5d0;hp=7193fc78ef571ef56bfddafc3677febfa43095d5;hb=28e80a05cdd05682bd45ef0d5101292b3f7b267e;hpb=de5e780daa5242500976dde56483222a51ecdae5 diff --git a/LCARStrek/browser/devtools/dark-theme.css b/LCARStrek/browser/devtools/dark-theme.css index 7193fc78..b9c7f60b 100644 --- a/LCARStrek/browser/devtools/dark-theme.css +++ b/LCARStrek/browser/devtools/dark-theme.css @@ -437,7 +437,7 @@ div.CodeMirror span.eval-text { .devtools-toolbar checkbox { /* LCARStrek checkbox colors don't work well against toolbar background */ - background-color: #000000; + background-color: var(--theme-toolbar-background); padding: 2px; } .devtools-toolbar checkbox .checkbox-check { @@ -455,7 +455,7 @@ div.CodeMirror span.eval-text { .devtools-menulist:-moz-focusring, .devtools-toolbarbutton:-moz-focusring { - outline: 1px dotted #008484; + outline: 1px dotted var(--theme-selection-color); } .devtools-toolbarbutton[standalone] { @@ -537,7 +537,7 @@ div.CodeMirror span.eval-text { .devtools-toolbarbutton[checked=true], #toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] { /* background: rgba(29, 79, 115, .7); / Select highlight blue / - color: #f5f7fa;*/ + color: var(--theme-selection-color); */ } .devtools-menulist[open=true], @@ -548,7 +548,7 @@ div.CodeMirror span.eval-text { .devtools-toolbarbutton[checked=true]:hover, #toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] { /* background: rgba(29, 79, 115, .8); / Select highlight blue / - color: #f5f7fa; */ + color: var(--theme-selection-color); */ } .devtools-toolbarbutton[checked=true]:hover { @@ -620,7 +620,7 @@ div.CodeMirror span.eval-text { } .devtools-no-search-result { - border-color: #FF0000 !important; + border-color: var(--theme-highlight-red) !important; } /* Close button */ @@ -906,13 +906,13 @@ div.CodeMirror span.eval-text { .devtools-tab:hover, .devtools-tab:hover:active { - background-color: #FFCF00; - color: #000000; + background-color: var(--theme-hover-background); + color: var(--theme-hover-color); } .devtools-tab[selected] { - background-color: #008484; - color: #000000; + background-color: var(--theme-selection-background); + color: var(--theme-selection-color); } .devtools-tab > spacer {