Add a download button to the media player

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

 /*
  * Copyright (C) 2009 Apple Inc.  All rights reserved.
  * Copyright (C) 2015 Google Inc.
  *
  * 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.
  * 2. Redistributions in binary form must reproduce the above copyright
@@ skipping 415 matching lines @@
     width: 32px;
     height: 32px;
     padding: 0px;
     border-width: 0px;
     margin-left: 0px;
     margin-right: 0px;
     background-color: initial;
     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;
     line-height: 40px;
     padding-left: 28px;
 }
 
 video::-webkit-media-text-track-container {
     position: relative;
     width: inherit;
@@ skipping 61 matching lines @@
     font-weight: bold;
 }
 
 video::cue(u) {
     text-decoration: underline;
 }
 
 video::cue(i) {
     font-style: italic;
 }