Quiero cambiar el tamaño del video según la función de reproducción o pausa. Por ejemplo, si el video se está reproduciendo, necesito que su altura sea de 1000 px, pero cuando está en pausa, la altura del video debe ser de 200 px. Como soy nuevo en Javascript, no pude probar nada.