DevTools: Use CodeMirror modes instead of highlight tokenizers

Source/devtools/front_end/inspectorSyntaxHighlight.css

Index: Source/devtools/front_end/inspectorSyntaxHighlight.css
diff --git a/Source/devtools/front_end/inspectorSyntaxHighlight.css b/Source/devtools/front_end/inspectorSyntaxHighlight.css
index 85385a877a41e84543c19683208b91507387467a..89a75a1f2a0e6a4898c358191771a23a81a7ee67 100644
--- a/Source/devtools/front_end/inspectorSyntaxHighlight.css
+++ b/Source/devtools/front_end/inspectorSyntaxHighlight.css
@@ -25,85 +25,31 @@
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-
-.webkit-css-comment {
-    color: rgb(0, 116, 0);
-}
-
-.webkit-css-url,
-.webkit-css-color,
-.webkit-css-string,
-.webkit-css-keyword {
-    color: rgb(7, 144, 154);
- }
-
-.webkit-css-number {
-    color: rgb(50, 0, 255);
-}
-
-.webkit-css-property,
-.webkit-css-at-rule {
-    color: rgb(200, 0, 0);
-}
-
-.webkit-css-selector {
-    color: #222;
-}
-
-.webkit-css-bang-keyword {
-    color: rgb(200, 0, 180);
-}
-
-.webkit-javascript-undef {
-    color: rgb(123, 123, 123);
-}
-
-.webkit-javascript-comment {
-    color: rgb(0, 116, 0);
-}
-
-.webkit-javascript-keyword {
-    color: rgb(170, 13, 145);
-}
-
-.webkit-javascript-number {
-    color: rgb(28, 0, 207);
-}
-
-.webkit-javascript-string,
-.webkit-javascript-regexp {
-    color: rgb(196, 26, 22);
-}
-
-.webkit-javascript-ident {
-    color: #222;
-}
-
-.webkit-whitespace-1::before {
-    content: "·";
-}
-
-.webkit-whitespace-2::before {
-    content: "··";
-}
-
-.webkit-whitespace-4::before {
-    content: "····";
-}
-
-.webkit-whitespace-8::before {
-    content: "········";
-}
-
-.webkit-whitespace-16::before {
-    content: "················";
-}
-
-.webkit-whitespace::before {
-    position: absolute;
-    pointer-events: none;
-    color: rgb(175, 175, 175);
-}
+span.cm-js-keyword {color: rgb(170, 13, 145);}
+span.cm-js-number {color: rgb(28, 0, 207);}
+span.cm-js-comment {color: rgb(0, 116, 0);}
+span.cm-js-string {color: rgb(196, 26, 22);}
+span.cm-js-string-2 {color: rgb(196, 26, 22);}
+
+span.cm-css-keyword { color: rgb(7, 144, 154);}
+span.cm-css-number {color: rgb(50, 0, 255);}
+span.cm-css-comment {color: rgb(0, 116, 0);}
+span.cm-css-def {color: rgb(200, 0, 0);}
+span.cm-css-meta {color: rgb(200, 0, 0);}
+span.cm-css-atom {color: rgb(7, 144, 154);}
+span.cm-css-string {color: rgb(7, 144, 154);}
+span.cm-css-string-2 {color: rgb(7, 144, 154);}
+span.cm-css-link {color: rgb(7, 144, 154);}
+span.cm-css-variable {color: rgb(200, 0, 0);}
+span.cm-css-variable-2 {color: rgb(0, 0, 128);}
+span.cm-css-property {color: rgb(200, 0, 0);}
+
+span.cm-xml-meta {color: rgb(192, 192, 192);}
+span.cm-xml-comment {color: rgb(35, 110, 37);}
+span.cm-xml-string {color: rgb(26, 26, 166);}
+span.cm-xml-tag {color: rgb(136, 18, 128);}
+span.cm-xml-attribute {color: rgb(153, 69, 0);}
+span.cm-xml-link {color: #00e;}
 
 .webkit-html-comment {
     /* Keep this in sync with view-source.css (.webkit-html-comment) */