Estoy escribiendo una página web simple usando un diseño web receptivo, por lo que las consultas de medios CSS3 sirven para diferentes hojas de estilo basadas en la resolución de pantalla. Para simplificarlo, digamos que hay una versión de iPhone y una versión de escritorio. Estoy usando la etiqueta de video html5 para servir videos, y me gustaría servir un video de 720p cuando se accede al sitio con un escritorio y un video más pequeño de 320p cuando se accede con un iphone. ¿Me equivoco o no hay una manera fácil de hacerlo solo con html / css? ¿Debo usar JavaScript para cambiar dinámicamente el atributo src de video? Si es así, ¿cuáles son las mejores prácticas? Gracias por adelantado