DevTools: popover, selection and other minor theme tweaks.

third_party/WebKit/Source/devtools/front_end/elements/elementsTreeOutline.css

Index: third_party/WebKit/Source/devtools/front_end/elements/elementsTreeOutline.css
diff --git a/third_party/WebKit/Source/devtools/front_end/elements/elementsTreeOutline.css b/third_party/WebKit/Source/devtools/front_end/elements/elementsTreeOutline.css
index beb5cfd358b0cc4d94684f4ee930effe487fc992..f7f1d7d312bd3f804687408831f2d5d3723783a6 100644
--- a/third_party/WebKit/Source/devtools/front_end/elements/elementsTreeOutline.css
+++ b/third_party/WebKit/Source/devtools/front_end/elements/elementsTreeOutline.css
@@ -257,11 +257,29 @@ button, input, select {
     }
 }
 
+@-webkit-keyframes dom-update-highlight-animation-dark {
+    from {
+        background-color: rgb(158, 54, 153);
+        color: white;
+    }
+    80% {
+        background-color: #333;
+        color: inherit;
+    }
+    to {
+        background-color: inherit;
+    }
+}
+
 .dom-update-highlight {
     -webkit-animation: dom-update-highlight-animation 1.4s 1 cubic-bezier(0, 0, 0.2, 1);
     border-radius: 2px;
 }
 
+:host-context(.-theme-with-dark-background) .dom-update-highlight {
+    -webkit-animation: dom-update-highlight-animation-dark 1.4s 1 cubic-bezier(0, 0, 0.2, 1);
+}
+
 .elements-disclosure.single-node li {
     padding-left: 2px;
 }