Use jupyter lab for Binder UI

ericmjl · ericmjl · commit bc880a714030 · 2021-07-12T16:35:50.000-04:00
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -50,6 +50,7 @@ plugins:
       binder: true
       binder_service_name: "gh"
       binder_branch: "master"
+      binder_ui: "lab"
 
 # Taken from here: https://squidfunk.github.io/mkdocs-material/extensions/codehilite/
 markdown_extensions:
