DevTools: lighten the workspaces settings ui a bit.

third_party/WebKit/Source/devtools/front_end/settings/settingsScreen.css

 /*
  * Copyright (c) 2015 The Chromium Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  */
 
 .help-window-main {
     color: rgb(48, 57, 66);
     background-color: white;
     padding: 11px 0 0 0;
@@ skipping 215 matching lines @@
     margin: 12px 0;
 }
 
 .settings-tab select {
     margin-left: 10px;
 }
 
 #workspace-tab-content .settings-tab.help-content.help-container {
     -webkit-column-width: initial;
     overflow: hidden;
+    padding-right: 10px;
 }
 
 
 #workspace-tab-content .button:hover {
     opacity: 1.0 !important;
 }
 
 #workspace-tab-content .help-block {
     width: auto;
     margin-right: 20px;
 }
 
 p.folder-exclude-pattern {
-    margin-top: 0 !important;
+    display: flex;
+    align-items: center;
 }
 
-.folder-exclude-pattern input {
-    margin-top: 10px;
+p.folder-exclude-pattern > input {
+    flex: auto;
 }
 
 .file-system-mapping-view {
-    margin-left: 30px;
-    margin-right: 10px;
 }
 
 .settings-tab .file-system-container {
-    margin-bottom: 18px;
-    padding: 0 8px;
-    border-left: 1px solid hsl(0, 0%, 90%);
-    max-width: 800px;
+    border-top: 1px solid #aaa;
+    padding: 19px 0 10px;
+    margin: 20px 0;
 }
 
 .settings-tab .file-system-header {
     display: flex;
     flex-direction: row;
     align-items: center;
 }
 
 .settings-tab .file-system-name {
     font-weight: bold;
@@ skipping 25 matching lines @@
     display: none;
 }
 
 .settings-experiment-hidden label {
     background-color: #ddd;
 }
 
 .settings-developer-mode .settings-experiment-hidden {
     display: block;
 }
+
+.settings-info-message {
+    background-color: #eee;
+    padding: 10px;
+    margin: 20px 0;
+}