[DevTools] Make all links have underline decoration.

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

 /*
  * Copyright (C) 2009 Apple Inc.  All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
  * 2.  Redistributions in binary form must reproduce the above copyright
@@ skipping 89 matching lines @@
 .webkit-html-attribute-value {
     /* Keep this in sync with view-source.css (.webkit-html-attribute-value) */
     color: rgb(26, 26, 166);
     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) */
     color: rgb(17, 85, 204);
+    /* Required for consistency with view-source.css, since anchors may not have href attributes */
+    text-decoration: underline;
+    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 {
     color: hsl(0, 0%, 67%);
 }
 
-.webkit-html-resource-link {
-    /* Required for consistency with view-source.css, since anchors may not have href attributes */
-    text-decoration: underline;
-    cursor: pointer;
-}
-
-.webkit-html-external-link {
-    /* Keep this in sync with view-source.css (.webkit-html-external-link) */
-    text-decoration: none;
-}
-
-.webkit-html-external-link:hover {
-    /* Keep this in sync with view-source.css (.webkit-html-external-link:hover) */
-    text-decoration: underline;
-}
-
 .webkit-html-end-of-file {
     /* Keep this in sync with view-source.css (.webkit-html-end-of-file) */
     color: rgb(255, 0, 0);
     font-weight: bold;
 }