JavaScript/CSS web server instrumentation for terminal emulation
