DevTools: support live coverage

third_party/WebKit/Source/devtools/front_end/text_editor/cmdevtools.css

Index: third_party/WebKit/Source/devtools/front_end/text_editor/cmdevtools.css
diff --git a/third_party/WebKit/Source/devtools/front_end/text_editor/cmdevtools.css b/third_party/WebKit/Source/devtools/front_end/text_editor/cmdevtools.css
index cdf3bdb6db8221b8aa028a4e0c2296c719f33ad1..e3d0183c930e5032b93c5fdc348fc7deb9fe94da 100644
--- a/third_party/WebKit/Source/devtools/front_end/text_editor/cmdevtools.css
+++ b/third_party/WebKit/Source/devtools/front_end/text_editor/cmdevtools.css
@@ -364,8 +364,7 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {
     content: " ";
 }
 
-.CodeMirror .text-editor-coverage-used-marker,
-.CodeMirror .text-editor-coverage-mixed-marker {
+.CodeMirror .text-editor-coverage-used-marker {
     text-align: right;
     padding-right: 2px;
     background-color: #81C784;
@@ -375,10 +374,6 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {
     content: " ";
 }
 
-.CodeMirror .text-editor-coverage-mixed-marker::after {
-    content: " ";
-}
-
 .CodeMirror .text-editor-line-decoration {
     position: absolute;
 }