Radio player like NTS live

Hi I love the layout and radio player on this website http://www.ntslive.co.uk/. The player continues to play after reloading or moving to other pages.

Does anyone know of a plugin that does something like this?