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

Home > Basic Examples > HTML5 Video