They appear to be using noVNC https://kanaka.github.io/noVNC/

I don't know if this is what they use, but ThinLinc[0] from Cendio supports an HTML5 interface.

[0] https://www.cendio.com/thinlinc/features/html5