How to make a video automatically adjust its height and width to the viewport or browser window using NiceGUI?

The code in this repository solves the issue by combining two essential parts.

1. it adjusts the page height to the viewport height.
2. Secondly, it applies a clever combination of CSS to the container of the video player and the video player itself. The solution is applicable equally to a video player in a browser and to a video player in native (desktop) mode.

NiceGUI_flexible_video_player.mp4