Add a download button to the media player

third_party/WebKit/Source/core/css/mediaControlsNew.css

Index: third_party/WebKit/Source/core/css/mediaControlsNew.css
diff --git a/third_party/WebKit/Source/core/css/mediaControlsNew.css b/third_party/WebKit/Source/core/css/mediaControlsNew.css
index 348ac8508ee2da33144ad6ec4b02e2c5170e96e8..6d647018c1da1162fc36aecc3dde6513fe575aa8 100644
--- a/third_party/WebKit/Source/core/css/mediaControlsNew.css
+++ b/third_party/WebKit/Source/core/css/mediaControlsNew.css
@@ -433,6 +433,21 @@ video::-internal-overflow-menu-button, audio::-internal-overflow-menu-button {
     color: inherit;
 }
 
+video::-internal-download-button, audio::-internal-download-button {
+    -webkit-appearance: -internal-media-download-icon;
+    display: flex;
+    flex: none;
+    box-sizing: border-box;
+    width: 32px;
+    height: 32px;
+    padding: 0px;
+    border-width: 0px;
+    margin-left: 0px;
+    margin-right: 0px;
+    background-color: initial;
+    color: inherit;
+}
+
 video::-internal-media-controls-overflow-menu-list-item, audio::-internal-media-controls-overflow-menu-list-item {
     display: block;
     color: #424242;