Chromium Code Reviews| Index: third_party/WebKit/Source/devtools/front_end/ui/filter.css |
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/filter.css b/third_party/WebKit/Source/devtools/front_end/ui/filter.css |
| index 7987f028ebfb06f8d0d93a835def12ad58ab0f5b..7d38d89b817591e56130ce5f735262b3c16c5b95 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/ui/filter.css |
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/filter.css |
| @@ -63,7 +63,7 @@ |
| display: inline-block; |
| flex: none; |
| margin: auto 2px; |
| - padding: 3px 6px 3px 3px; |
| + padding: 3px; |
| background: transparent; |
| text-shadow: rgba(255, 255, 255, 0.5) 0 1px 0; |
| border-radius: 8px; |
|
allada
2016/07/11 16:13:12
I would disagree with changing this. I tested with
|