| 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; |
| } |