Судя по тому, что два вопроса "как уменьшить шрифт в списке воспроизведения аудиофайлов" были проигнорированы, сделать это либо невозможно, либо никто не знает как.
Тогда вопрос другой - кто-нить смог успешно интегрировать другой плеер? Ссылку на него видел, но не понял ничего