| 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..6c2077c647cc066b09826ee169079b00ff1fb24a 100644
|
| --- a/Source/core/css/view-source.css
|
| +++ b/Source/core/css/view-source.css
|
| @@ -82,6 +82,11 @@ tbody:last-child .webkit-line-content:empty:before {
|
| padding: 0 5px !important;
|
| }
|
|
|
| +.webkit-highlight {
|
| + 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);
|
|
|