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

Source/devtools/front_end/ui/tabbedPane.css

Index: Source/devtools/front_end/ui/tabbedPane.css
diff --git a/Source/devtools/front_end/ui/tabbedPane.css b/Source/devtools/front_end/ui/tabbedPane.css
index 0884f0186369dd7a4c4576a6416f990e4a750d3c..0772c2ac0442e66437806ad468d78363bb1eb12e 100644
--- a/Source/devtools/front_end/ui/tabbedPane.css
+++ b/Source/devtools/front_end/ui/tabbedPane.css
@@ -55,7 +55,7 @@
 .tabbed-pane-header {
     display: flex;
     flex: 0 0 27px;
-    border-bottom: 1px solid #dadada;
+    border-bottom: 1px solid #ccc;
     overflow: hidden;
     width: 100%;
     background-color: #f3f3f3;
@@ -84,6 +84,11 @@
     cursor: default;
     display: flex;
     align-items: center;
+    color: #5a5a5a;
+}
+
+.tabbed-pane-header-tab:hover {
+    color: #333;
 }
 
 .tabbed-pane-header-tab-title {
@@ -98,6 +103,7 @@
 .tabbed-pane-header-tab.selected {
     border: 1px solid #ccc;
     border-bottom: none;
+    color: #333;
 }
 
 .tabbed-pane-header-tab.selected {
@@ -205,7 +211,7 @@
 }
 
 .tabbed-pane-tab-slider {
-    height: 2px;
+    height: 1px;

[dgozman, 2015/06/12 18:56:17]

Is it enough? Probably makes it hard to tell which one is selected.

[pfeldman, 2015/06/12 19:35:29]

Lets give it a try. I am not a huge fan of it wither, but Max finds it more
elegant.

     position: absolute;
     bottom: -1px;
     background-color: #3E82F7;