DevTools: border and toolbar colors from Max's mocks.

Source/devtools/front_end/sources/sourcesView.css

Index: Source/devtools/front_end/sources/sourcesView.css
diff --git a/Source/devtools/front_end/sources/sourcesView.css b/Source/devtools/front_end/sources/sourcesView.css
index aed5bad06e31a14d2ff2cf84bf42164b411df8dd..8a74d3364c5392c7f0e7d3565861c5844e76b6e4 100644
--- a/Source/devtools/front_end/sources/sourcesView.css
+++ b/Source/devtools/front_end/sources/sourcesView.css
@@ -35,23 +35,14 @@
 
 #sources-panel-sources-view .sources-toolbar {
     display: flex;
-    position: relative;
-    flex: 0 0 20px;
+    flex: 0 0 27px;
     background-color: #f3f3f3;
-    border-top: 1px solid rgb(196,196,196);
+    border-top: 1px solid #dadada;
     overflow: hidden;
 }
 
-.material #sources-panel-sources-view .sources-toolbar {
-    flex: 0 0 24px;
-}
-
-#sources-panel-sources-view .sources-toolbar .toolbar {
-    margin-top: -2px;
-}
-
-#sources-panel-sources-view .sources-toolbar .toolbar {
-    margin-top: -3px;
+.sources-toolbar .toolbar {
+    cursor: default;
 }
 
 .source-frame-debugger-script {