DevTools: introduce beautiful checkmarks in navigator and editor tabs

third_party/WebKit/Source/devtools/front_end/sources/navigatorTree.css

 /*
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2009 Anthony Ricaud <rik@webkit.org>
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 34 matching lines @@
     -webkit-mask-position: -224px -72px;
     background: linear-gradient(45deg, hsl(0, 0%, 50%), hsl(0, 0%, 70%));
 }
 
 .navigator-fs-tree-item:not(.has-mapped-files),
 .navigator-fs-folder-tree-item:not(.has-mapped-files) {
     filter: grayscale(50%);
     opacity: 0.5;
 }
 
-.mapped-file-bubble {
-    color: green;
-    margin-left: 2px;
+.mapped-file-checkmark {
+    background: #009802;
+    margin-left: 3px;
+}
+
+:focus .navigator-file-tree-item.selected .mapped-file-checkmark {
+    background: white !important;
 }
 
 :focus .navigator-file-tree-item.selected .icon {
     background: white !important;
 }
 
 :focus .navigator-folder-tree-item.selected .icon {
     background: white !important;
 }
 
@@ skipping 55 matching lines @@
 
 .navigator-sm-folder-tree-item .tree-element-title,
 .navigator-sm-script-tree-item .tree-element-title,
 .navigator-sm-stylesheet-tree-item .tree-element-title {
     font-style: italic;
 }
 
 :host{
     overflow-y: auto;
 }