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..309a60fa9170768ee9b1aa67056c4dcf5d8fae77 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 {