DevTools: update text inputs to new style

third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css

Index: third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css b/third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css
index ce7fe4ad874531123fce896f5f99fa1ed50a3a07..1517544ab66f5900eb848f1f495b570a5a34a010 100644
--- a/third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css
+++ b/third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css
@@ -14,7 +14,7 @@
 
 .search-drawer-header input.search-config-search {
     padding: 0 28px;
-    margin: 1px 0px 1px 1px;
+    margin: 2px 1px 2px 2px;
     height: 28px;
     border-radius: 2px;
     color: #303030;
@@ -22,6 +22,10 @@
     min-width: 95px;
 }
 
+.search-drawer-header input.search-config-search:focus {
+    box-shadow: 0 0 0 2px rgba(66, 133, 244, 0.4);
+}
+
 .search-drawer-header .search-icon {
     left: 8px;
     top: 8px;
@@ -39,7 +43,7 @@
 .search-drawer-header .search-cancel-button {
     position: absolute;
     right: 7px;
-    top: 7px;
+    top: 8px;
 }
 
 :host-context(.platform-mac) .search-drawer-header input.search-config-search {