Fix padding of dev tools network filters and make the bar thinner

third_party/WebKit/Source/devtools/front_end/ui/filter.css

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..d741dfeb5d78f82dc0b8e6ea3219b4e94546028b 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,7 @@
 
 .filter-bar {
     background-color: #f3f3f3;
-    padding: 4px 0 4px 0;
+    padding: 2px 0;
     flex: none;
     flex-wrap: wrap;
     align-items: center;
@@ -63,10 +63,10 @@
     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;
+    border-radius: 6px;
     overflow: hidden;
 }