Different icons for HTML5 video

Resolves #1522.

Built and tested in Chrome, no obviously apparent bugs.

I do have a few concerns about how I did this, see the comments on the diff.
Of course the linked image will need to be re-uploaded; I also added anti-aliasing to the expando icons that weren't anti-aliased.