Sync Android <video controls> with the default controls

Source/core/css/mediaControlsAndroid.css

Index: Source/core/css/mediaControlsAndroid.css
diff --git a/Source/core/css/mediaControlsAndroid.css b/Source/core/css/mediaControlsAndroid.css
index 69bdd8d66a09a4ba4dbf5fce4d109a6a724561e7..a258fa734d4f6d79799b70a5ea9b76f9f3a05d4d 100644
--- a/Source/core/css/mediaControlsAndroid.css
+++ b/Source/core/css/mediaControlsAndroid.css
@@ -30,10 +30,14 @@ audio {
     height: 35px;
 }
 
-audio::-webkit-media-controls-enclosure, video::-webkit-media-controls-enclosure {
+audio::-webkit-media-controls-enclosure {
     height: 35px;
 }
 
+video::-webkit-media-controls-enclosure {

[qinmin, 2013/09/20 14:52:09]

why the difference between video and audio ?

[philipj_slow, 2013/09/22 08:11:48]

There's a 5px difference in mediaControls.css as well to account for the extra
5px padding, but someone overlooked that when making the Android stylesheet,
which is why there wasn't any padding at the bottom before. It should now match
Desktop, except that the controls are bigger.

+    height: 40px;
+}
+
 audio::-webkit-media-controls-overlay-enclosure {
     display: none;
 }
@@ -54,7 +58,6 @@ video::-webkit-media-controls-overlay-enclosure {
 
 audio::-webkit-media-controls-panel, video::-webkit-media-controls-panel {
     height: 35px;
-    border-radius: 0;

[qinmin, 2013/09/20 14:52:09]

why this? no rounded corners?

[philipj_slow, 2013/09/22 08:11:48]

I don't know why this was here, as you've probably noticed there are no rounded
corners in current Chrome or Opera for Android. This is fixing that to align
with Desktop.

[qinmin, 2013/09/22 15:51:45]

I don't think this aligns with desktop, desktop chrome has rounded corners on
the media control panel.

On 2013/09/22 08:11:48, philipj wrote:

[philipj_slow, 2013/09/25 17:01:47]

Yes, and now Android does too. "border-radius: 0" *removes* the rounded corners,
removing this line adds them back.

[qinmin, 2013/09/25 17:10:16]

This looks like a bug we missed earlier when changing all the css files, thanks
for removing this.

 }
 
 audio::-webkit-media-controls-mute-button, video::-webkit-media-controls-mute-button {