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); |