X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fdevtools%2Fdark-theme.css;h=f016464e1ac52bdfd4270b33fcadbd36f0027764;hp=95061a6ad5e2538bc296ef5e5866aa470ee47580;hb=d0a8de80597f65fb17a8508078deae45f0ae80d4;hpb=dadba0f24ba2459f70e098788b20b0e4ba96a7d2 diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css index 95061a6a..f016464e 100644 --- a/LCARStrek/devtools/dark-theme.css +++ b/LCARStrek/devtools/dark-theme.css @@ -170,7 +170,7 @@ body, html { .devtools-toolbar, .devtools-sidebar-tabs tabs, .devtools-sidebar-alltabs, -.CodeMirror-dialog { /* General toolbar styling */ +.cm-s-mozilla .CodeMirror-dialog { /* General toolbar styling */ /* color: var(--theme-body-color-alt); background-color: var(--theme-toolbar-background);*/ } @@ -196,14 +196,13 @@ body, html { * Best effort to match the existing theme, some of the colors * are duplicated here to prevent weirdness in the main theme. */ -.CodeMirror, .CodeMirror.cm-s-mozilla { /* Inherit platform specific font sizing and styles */ font-family: inherit; font-size: inherit; background: transparent; } -.CodeMirror pre, +.CodeMirror.cm-s-mozilla pre, .cm-s-mozilla .cm-variable-2, .cm-s-mozilla .cm-variable-3, .cm-s-mozilla .cm-operator, @@ -327,24 +326,44 @@ div.CodeMirror span.eval-text { /* Overring panel arrow images to fit with our light and dark themes */ /* -.theme-tooltip-panel .panel-arrow[side="top"] { - list-style-image: url("chrome://devtools/skin/tooltip/arrow-vertical-dark.png"); - margin-bottom: -4px; +.theme-tooltip-panel .panel-arrow { + --arrow-margin: -4px; +} + +:root[platform="win"] .theme-tooltip-panel .panel-arrow { + --arrow-margin: -7px; } +.theme-tooltip-panel .panel-arrow[side="top"], .theme-tooltip-panel .panel-arrow[side="bottom"] { list-style-image: url("chrome://devtools/skin/tooltip/arrow-vertical-dark.png"); - margin-top: -4px; + / !important is needed to override the popup.css rules in toolkit/themes / + width: 39px !important; + height: 16px !important; } -.theme-tooltip-panel .panel-arrow[side="left"] { +.theme-tooltip-panel .panel-arrow[side="left"], +.theme-tooltip-panel .panel-arrow[side="right"] { list-style-image: url("chrome://devtools/skin/tooltip/arrow-horizontal-dark.png"); - margin-right: -4px; + / !important is needed to override the popup.css rules in toolkit/themes / + width: 16px !important; + height: 39px !important; +} + +.theme-tooltip-panel .panel-arrow[side="top"] { + margin-bottom: var(--arrow-margin); +} + +.theme-tooltip-panel .panel-arrow[side="bottom"] { + margin-top: var(--arrow-margin); +} + +.theme-tooltip-panel .panel-arrow[side="left"] { + margin-right: var(--arrow-margin); } .theme-tooltip-panel .panel-arrow[side="right"] { - list-style-image: url("chrome://devtools/skin/tooltip/arrow-horizontal-dark.png"); - margin-left: -4px; + margin-left: var(--arrow-margin); } @media (min-resolution: 1.1dppx) {