Exactly what I was looking for

Needed a playlist plugin that gave the option to download tracks. Took me a while to find this one, but it seems to do everything I want, and is easily customised via CSS.