Autosize HTML5 videos to fit the available width when they are too big (suggested by Jeff Fortin, Github #27)