Chromium Code Reviews| Index: Source/core/css/view-source.css |
| diff --git a/Source/core/css/view-source.css b/Source/core/css/view-source.css |
| index daebdbf4f679bee5ef4c2fcaa746336a941a731a..cd76099b8cf6a22fd47c1f32d29c79150df5332f 100644 |
| --- a/Source/core/css/view-source.css |
| +++ b/Source/core/css/view-source.css |
| @@ -82,11 +82,23 @@ tbody:last-child .webkit-line-content:empty:before { |
| padding: 0 5px !important; |
| } |
| +.webkit-highlight { |
|
Mike West
2014/05/29 09:29:48
Hrm. At some point (not in this CL), we need to dr
jww
2014/05/29 18:35:01
I just filed https://crbug.com/378867 for this.
|
| + background-color: rgb(100%, 42%, 42%); |
| + border: 2px solid rgb(100%, 31%, 31%); |
| +} |
| + |
| .webkit-html-tag { |
| /* Keep this in sync with inspector.css (.webkit-html-tag) */ |
| color: rgb(136, 18, 128); |
| } |
| +.webkit-html-tag-highlight { |
| + /* Keep this in sync with inspector.css (.webkit-html-tag) */ |
| + color: rgb(136, 18, 128); |
| + background-color: rgb(100%, 42%, 42%); |
| + border: 2px solid rgb(100%, 31%, 31%); |
| +} |
| + |
| .webkit-html-attribute-name { |
| /* Keep this in sync with inspector.css (.webkit-html-attribute-name) */ |
| color: rgb(153, 69, 0); |