Enhanced audio support

• Audio now loops while GIF is visible (can be set not to)
• Elements tagged with audio icon by default (can be hidden)
• Reformatted CSS and JS indentation for consistency (4-tabs-as-spaces, was a mix)

I did the latter as the upstream merge was rejected anyway, so rock on! \o/