DevTools: Unify filtering UI

Source/devtools/front_end/networkPanel.css

Index: Source/devtools/front_end/networkPanel.css
diff --git a/Source/devtools/front_end/networkPanel.css b/Source/devtools/front_end/networkPanel.css
index 7671df18a22b01c2bcc385dddedfd7dd80e7c604..727b874dc96733b80175cf9f60f86a1a4a6dab2a 100644
--- a/Source/devtools/front_end/networkPanel.css
+++ b/Source/devtools/front_end/networkPanel.css
@@ -66,11 +66,6 @@
     display: none;
 }
 
-.network.panel .scope-bar {
-    height: 23px;
-    padding-top: 5px;
-}
-
 .network.panel .data-grid th.sort-descending,
 .network.panel .data-grid th.sort-ascending {
     background: white;
@@ -106,11 +101,6 @@
     border-bottom: 1px solid rgb(163, 163, 163);
 }
 
-.network-item-view .scope-bar li {
-    border-bottom-left-radius: 0;
-    border-bottom-right-radius: 0;
-}
-
 .resource-headers-view {
     display: none;
     margin: 6px;
@@ -322,3 +312,15 @@
     background-color: rgb(255, 237, 237);
     color: rgb(182, 0, 0);
 }
+
+.panel.network.filters-toggled .split-view {
+    top: 23px;
+}
+
+.network-filters-header {
+    position: absolute;
+    top: 0;
+    left: 0;
+    right: 0;
+    height: 23px;

[pfeldman, 2013/10/22 15:15:01]

What happened to flex?

+}