PageTop
function video_play() { style_video.play(); } function video_play() { style_video.pause(); }