Chromium Code Reviews| Index: third_party/WebKit/Source/devtools/front_end/settings/settingsScreen.css |
| diff --git a/third_party/WebKit/Source/devtools/front_end/settings/settingsScreen.css b/third_party/WebKit/Source/devtools/front_end/settings/settingsScreen.css |
| index 6387a4c38a8748cd2304dc50f709bcbe8f65996f..707b6383b033937574319d2a6f3326232b83e1af 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/settings/settingsScreen.css |
| +++ b/third_party/WebKit/Source/devtools/front_end/settings/settingsScreen.css |
| @@ -164,7 +164,6 @@ fieldset { |
| .settings-tab input[type="text"] { |
| border: 1px solid rgb(213, 213, 213); |
|
pfeldman
2017/05/31 21:51:15
why does it have custom border?
luoe
2017/06/01 01:10:43
Removed in next CL
|
| border-radius: 2px; |
| - color: #444444; |
| padding: 3px; |
| } |