Update to @jupyter-widgets/html-manager
1.0.7
#97
+333
−744
@jupyter-widgets/html-manager
1.0.7
#97