DevTools: Diff subsystem

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

Index: third_party/WebKit/Source/devtools/front_end/ui/searchableView.css
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/searchableView.css b/third_party/WebKit/Source/devtools/front_end/ui/searchableView.css
index b5c4f1e753059f1c1f72e86e1e8e635ec4716927..b59ad77bf70445410606551a8871d5c871afed3f 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/searchableView.css
+++ b/third_party/WebKit/Source/devtools/front_end/ui/searchableView.css
@@ -33,24 +33,18 @@
     outline: none;
 }
 
-.toolbar-replace-checkbox {
-    margin-top: 2px;
-    display: block;
-}
-
 .toolbar-search {

[lushnikov, 2017/03/10 01:17:04]

wrong rebaseline

[einbinder, 2017/03/13 17:47:57]

Done.

-    display: flex;
-    width: 100%;
+    border-spacing: 1px;
 }
 
-.toolbar-search > div {
-    margin: 0px 2px;
-    flex-shrink: 0;
+.toolbar-search td {
+    padding: 0 5px 0 0;
 }
 
-.toolbar-search-inputs {
-    flex-grow: 1;
-    min-width: 150px;
+.toolbar-search td > span {
+    display: flex;
+    align-items: baseline;
+    line-height: 17px;
 }
 
 .toolbar-search-navigation-controls {
@@ -75,9 +69,9 @@
 .toolbar-search button.search-action-button {
     border: 1px solid rgb(163, 163, 163);
     border-radius: 8px;
-    margin: 1px 3px 0 3px;
+    margin: 0;
     background-image: linear-gradient(rgb(241, 241, 241), rgb(220, 220, 220));
-    width: 75px;
+    width: 100%;
     height: 20px;
     white-space: nowrap;
 }
@@ -92,13 +86,9 @@
     background-color: white;
 }
 
-.toolbar-search-buttons {
-    flex-basis: 165px;
-}
-
 .toolbar-replace-control,
 #search-input-field {
-    margin-top: 1px;
+    padding-top: 1px;
     line-height: 17px;
 }
 
@@ -106,8 +96,8 @@
     border: 1px solid rgb(163, 163, 163);
     height: 20px;
     border-radius: 2px;
-    width: 100%;
-    margin-top: 1px;
+    width: 253px;
+    margin-left: 1px;
 }
 
 .toolbar-search-navigation.enabled:active {
@@ -141,5 +131,4 @@
     text-align: right;
     padding: 0 4px;
     color: rgb(165, 165, 165);
-    align-self: center;
 }