| 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 707b6383b033937574319d2a6f3326232b83e1af..8f4bc538b4a9de94b1e7a1c35ce0a87a64d38c71 100644
 | 
| --- a/third_party/WebKit/Source/devtools/front_end/settings/settingsScreen.css
 | 
| +++ b/third_party/WebKit/Source/devtools/front_end/settings/settingsScreen.css
 | 
| @@ -160,13 +160,6 @@ fieldset {
 | 
|      padding: 0;
 | 
|  }
 | 
|  
 | 
| -.settings-tab input:not([type]),
 | 
| -.settings-tab input[type="text"] {
 | 
| -    border: 1px solid rgb(213, 213, 213);
 | 
| -    border-radius: 2px;
 | 
| -    padding: 3px;
 | 
| -}
 | 
| -
 | 
|  .settings-tab input.numeric {
 | 
|      text-align: right;
 | 
|  }
 | 
| 
 |