DEPRECATED: This code was copied into https://github.com/jupyter/jupyter-js-ui - View it on GitHub