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