Index: skin/devtools-panel.css |
=================================================================== |
--- a/skin/devtools-panel.css |
+++ b/skin/devtools-panel.css |
@@ -174,16 +174,26 @@ |
display: none; |
} |
.url |
{ |
width: 100%; |
} |
+.rewritten-to > a |
Thomas Greiner
2018/05/07 17:20:29
Detail: These styles are the same as the ones for
hub
2018/05/07 21:03:01
Done.
|
+{ |
+ text-decoration: none; |
+} |
+ |
+.rewritten-to > a:hover |
+{ |
+ text-decoration: underline; |
+} |
+ |
.resource-link { |
text-decoration: none; |
} |
.resource-link:hover { |
text-decoration: underline; |
} |