Make mini player a little smaller. Fixes #48.