* a nicer to the eye dark theme
* several minor improvements in html video player