https://blog.jupyter.org/posts/2018/authoring-custom-jupyter-widgets/