The video element on this page has source elements with media="(min-width: 700px)" attributes.
The media attribute makes it possible for a video element to use a different src, depending on a media query.
To see this in action, change the browser window width to larger or smaller than 700px, refresh, and view the video src.
View source on GitHub