Add playground

.github/workflows/docs.yml

@@ -32,6 +32,7 @@ jobs:
       - name: Install dependencies
         run: |
           pip install -r docs/requirements.txt
+          python docs/_static/playground_whl.py
           git config user.name 'github-actions[bot]' && git config user.email 'github-actions[bot]@users.noreply.github.com'
       - name: Deploy to GH Pages
         run: mkdocs gh-deploy

.gitignore

@@ -10,3 +10,6 @@ assets/docstr
 site/
 .cache
 .benchmarks
+
+*.tar.gz
+*.whl

.readthedocs.yaml

@@ -10,6 +10,9 @@ build:
   os: ubuntu-20.04
   tools:
     python: "3.8"
+  jobs:
+    pre_create_environment:
+      - python docs/_static/playground_whl.py
 
 # Build documentation in the docs/ directory with Sphinx
 mkdocs:

docs/_static/playground-config.js

@@ -0,0 +1,5 @@
+var colorNotebook = {
+    "playgroundWheels": ['pygments-2.17.2-py3-none-any.whl', 'bigtree-0.19.0-py3-none-any.whl'],
+    "notebookWheels": [],
+    "defaultPlayground": ""
+}