| 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 2de512b54a97024d964eddcd8979e16fd6abca0a..9dd65588e3bd6cd10ea8341d25148e5c408c56eb 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/filter.css
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/filter.css
|
| @@ -30,7 +30,6 @@
|
|
|
| .filter-bar {
|
| background-color: #f3f3f3;
|
| - padding: 2px 0;
|
| flex: none;
|
| flex-wrap: wrap;
|
| align-items: center;
|
| @@ -142,7 +141,7 @@
|
| border: 1px solid rgb(163, 163, 163);
|
| border-radius: 2px;
|
| padding: 1px 3px 0;
|
| - margin: 0 0 0 1px;
|
| + margin: 0 0 0 3px;
|
| width: 143px;
|
| height: 20px;
|
| line-height: 17px;
|
|
|