Mini Player: margin issue in info view

Description

When in the media information view with the mini player active, there is space between the player and the progress bar (Screenshot 1), and when the player is extended, there is no margin in the top bar (Screenshot 2)

Screenshot / video

App mode

Smartphone