Index: ui/file_manager/audio_player/css/audio_player.css |
diff --git a/ui/file_manager/audio_player/css/audio_player.css b/ui/file_manager/audio_player/css/audio_player.css |
index faa4a02088a1bb1d15e1f3a500bfa60874b5cdea..62d058da02e13ca45d549b3a395bc1311fcd26fd 100644 |
--- a/ui/file_manager/audio_player/css/audio_player.css |
+++ b/ui/file_manager/audio_player/css/audio_player.css |
@@ -28,6 +28,7 @@ div.audio-player { |
cursor: default; |
flex: 1 1 auto; |
font-size: 10pt; |
+ box-sizing: border-box; |
fukino
2016/02/02 08:33:33
nit: sort properties.
|
height: 100%; |
position: relative; |
} |