Greasy Fork is available in English.
Replaces any default HTML5 player with custom controls
< 脚本Simple HTML5 video player的反馈
Sorry i did not notice this comment before, i fixed the issue with that page and while at it I also rewrote UI controls scaling to be dynamic + fonts are monospace. Now controls wont overlap even with large durations since positions and sizes are calculated dynamically.
some bugs
please test it on https://www.quirksmode.org/html5/tests/video.html script break page,
and it have volume control bug: circle in center of it, even if other script set default volume to 15% (not 50%) (volume control show 15%, but circle in it stay in 50%)(so may be it's browser bug, but check it)
and please use mono-space font like Consolas for "timer" (your current timer "jump" then 0 replaced by 1, and etc)