playlist manager: Reduce size of buttons.