[DevTools] Turn links into spans to prevent default behavior.

third_party/WebKit/Source/devtools/front_end/ui/inspectorSyntaxHighlight.css

Index: third_party/WebKit/Source/devtools/front_end/ui/inspectorSyntaxHighlight.css
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/inspectorSyntaxHighlight.css b/third_party/WebKit/Source/devtools/front_end/ui/inspectorSyntaxHighlight.css
index eba87a31e0cac966da60a2f94f5088fb6ba43887..0cec8a238a20da6f1cda75d92d0ecf566dac0320 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/inspectorSyntaxHighlight.css
+++ b/third_party/WebKit/Source/devtools/front_end/ui/inspectorSyntaxHighlight.css
@@ -103,19 +103,18 @@
     unicode-bidi: -webkit-isolate;
 }
 
-.webkit-html-external-link,
-.webkit-html-resource-link {
-    /* Keep this in sync with view-source.css (.webkit-html-external-link, .webkit-html-resource-link) */
+.devtools-link {
     color: rgb(17, 85, 204);
     /* Required for consistency with view-source.css, since anchors may not have href attributes */

[lushnikov, 2016/11/24 00:14:40]

let's drop this comment as well?

[dgozman, 2016/11/24 00:58:29]

Done.

     text-decoration: underline;
+}
+
+.devtools-link:not(.devtools-link-prevent-clink) {
     cursor: pointer;
 }
 
-.-theme-with-dark-background .webkit-html-external-link,
-.-theme-with-dark-background .webkit-html-resource-link,
-:host-context(.-theme-with-dark-background) .webkit-html-external-link,
-:host-context(.-theme-with-dark-background) .webkit-html-resource-link {
+.-theme-with-dark-background .devtools-link,
+:host-context(.-theme-with-dark-background) .devtools-link {
     color: hsl(0, 0%, 67%);
 }