DevTools: brush up command menu looks, render badges.

third_party/WebKit/Source/devtools/front_end/ui/inspectorCommon.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.
  */
 
 * {
     /* This is required for correct sizing of flex items because we rely
      * on an old version of the flexbox spec.
      * Longer-term we should remove this, see crbug.com/473625 */
@@ skipping 145 matching lines @@
 input {
     background-color: white;
 }
 
 :host-context(.-theme-with-dark-background) input[type="checkbox"] {
     -webkit-filter: invert(80%);
 }
 
 input[type="search"]:focus,
 input[type="text"]:focus {
-    outline: auto 5px -webkit-focus-ring-color;
+    outline: auto rgb(56, 121, 217);
 }
 
 
 .highlighted-search-result.current-search-result {
     border-radius: 1px;
     padding: 1px;
     margin: -1px;
     background-color: rgba(255, 127, 0, 0.8);
 }
 
@@ skipping 88 matching lines @@
 :host-context(:not(.platform-mac).-theme-with-dark-background) ::-webkit-scrollbar-track {
     -webkit-box-shadow: inset 0 0 1px rgba(255,255,255,0.3);
 }
 
 :not(.platform-mac).-theme-with-dark-background ::-webkit-scrollbar-thumb,
 :host-context(:not(.platform-mac).-theme-with-dark-background) .-theme-with-dark-background ::-webkit-scrollbar-thumb {
     border-radius: 2px;
     background-color: #333;
     -webkit-box-shadow: inset 0 0 1px rgba(255,255,255,0.5);
 }