Video is too small #282
Description
The demo video on the homepage is too small. I think we can easily increase its size since I haven't done any squeezing before saving the video, so it was quite large already. Just a small 10-20% increase would do.
The only thing is, we'd need to sync this with the size of the fallback gif, which I wouldn't want to look too ugly. If absolutely necessary I can convert the demo to a gif again.