| Index: third_party/WebKit/Source/devtools/front_end/terminal/terminal.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/terminal/terminal.css b/third_party/WebKit/Source/devtools/front_end/terminal/terminal.css
|
| index 3abe0868761a7093ec38af60bb9856a9c18a9ce2..502b2c3d268eefbff171bc5bb9a27efedb87c52c 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/terminal/terminal.css
|
| +++ b/third_party/WebKit/Source/devtools/front_end/terminal/terminal.css
|
| @@ -30,11 +30,11 @@
|
| padding-right: 10px;
|
| }
|
|
|
| -a.webkit-html-resource-link {
|
| +.devtools-link {
|
| color: inherit;
|
| text-decoration: inherit;
|
| }
|
|
|
| -a.webkit-html-resource-link:hover {
|
| +.devtools-link:hover {
|
| text-decoration: underline;
|
| }
|
|
|