Since unfortunately no one has answered I have tried half the day around. The following worked for me:


1. find out the element ID of the video (#wp-custom-header-video) by inspecting the element...