Example to embed a widget in the docs

poliastro · Nov 9, 2018 · c67cd4a · c67cd4a
1 parent c96eff1
commit c67cd4a
Show file tree

Hide file tree

Showing 3 changed files with 1,168 additions and 27 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -128,6 +128,11 @@
 
 # -- Options for HTML output ----------------------------------------------
 
+
+def setup(app):
+    app.add_javascript("https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.4/require.min.js")
+    app.add_javascript("https://unpkg.com/@jupyter-widgets/html-manager@*/dist/embed-amd.js")
+
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 import sphinx_rtd_theme