The widget is also done very cleverly. It appears to be a regular HTML <video> element and a slider.