Styling for headers which are both highlighted and overridden

Screenshot: https://i.imgur.com/ekjQmMH.png

Bug: 1297533
Change-Id: I797045c701f8685994e11260147760bd49ebf7ee
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/3876150
Commit-Queue: Wolfgang Beyer <wolfi@chromium.org>
Reviewed-by: Simon Zünd <szuend@chromium.org>
Auto-Submit: Wolfgang Beyer <wolfi@chromium.org>
Commit-Queue: Simon Zünd <szuend@chromium.org>
This commit is contained in:
Wolfgang Beyer
2022-09-07 11:38:54 +00:00
committed by Devtools-frontend LUCI CQ
parent 5072d29427
commit 4e368ffad8
@@ -113,3 +113,9 @@ x-link .inline-icon { /* stylelint-disable-line selector-type-no-unknown */
border-left: 3px solid var(--color-accent-green);
padding-left: 5px;
}
.header-highlight.header-overridden {
background-color: var(--override-header-highlight-background-color);
border-left: 3px solid var(--color-accent-green);
padding-left: 5px;
}