Just drop an video from your assets, the video will be automatically converted to the different HTML5 formats and to the correct size. 

Home > Esempi di base > HTML5 Video