const video = document.getElementById('maVideo'); document.addEventListener('visibilitychange', () => { if (document.hidden) { video.pause(); } else { video.play(); } });
ENO, the World Before Game
