Video player for instructional videos on iOS devices.