DevTools: SVG Icons

This switches our icons to use svg instead of png. It replaces
the png optimizer with an svg optimizer.

Change-Id: I63f8de9059502ab952d39bbefe5da1f6d4708d37
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/1643403
Commit-Queue: Joel Einbinder <[email protected]>
Reviewed-by: Erik Luo <[email protected]>
Cr-Original-Commit-Position: refs/heads/master@{#667807}
Cr-Mirrored-From: https://chromium.googlesource.com/chromium/src
Cr-Mirrored-Commit: 56a647b2510baf3b314fab1130dbe08c191c9072
diff --git a/front_end/ui/checkboxTextLabel.css b/front_end/ui/checkboxTextLabel.css
index f562144..73c2591 100644
--- a/front_end/ui/checkboxTextLabel.css
+++ b/front_end/ui/checkboxTextLabel.css
@@ -45,7 +45,7 @@
 }
 
 input.dt-checkbox-themed:after {
-    -webkit-mask-image: url(Images/checkboxCheckmark.png);
+    -webkit-mask-image: url(Images/checkboxCheckmark.svg);
     -webkit-mask-size: 11px 11px;
     -webkit-mask-position: 0 0;
 }
@@ -54,13 +54,6 @@
     filter: invert(80%);
 }
 
-@media (-webkit-min-device-pixel-ratio: 1.1) {
-input.dt-checkbox-themed:after {
-    -webkit-mask-image: url(Images/checkboxCheckmark_2x.png);
-}
-
-} /* media */
-
 .dt-checkbox-text {
     margin-left: 3px;
     overflow: hidden;