DevTools: lighten the workspaces settings ui a bit.

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

 /*
  * Copyright 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.
  */
 
 .file-system-header {
     display: flex;
     flex-direction: row;
     align-items: center;
     flex: auto;
     margin: 10px 0;
 }
 
 .file-system-header-text {
-    font-size: 14px;
     flex: auto;
 }
 
 .add-button {
     margin-left: 10px;
     align-self: flex-start;
 }
 
 .file-system-list {
     flex: auto;
@@ skipping 55 matching lines @@
     visibility: hidden;
 }
 
 .file-system-locked:after {
     content: "\1F512";
 }
 
 .file-system-list-item.locked .file-system-locked {
     visibility: visible;
 }