A set of html5 and css3 audio players using soundmanager