Darken background and adjust ajax log to match
Play video when clicking thumbnail

This unfortunately hard-coded the video type to video/mp4 and the
uploaded videos must now match this type. Transcoding the video to a
type understood by the browser is left as an exercise for later...