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