![]() Uses: jupyterlite-demo-dist-$ from Initialization data for the jupyterlab_cell_status extension. theme jupyter darcula jupyterlab darcula-theme jupyterlab-extension jupyterlab-theme dark-scrollbars jupyter-theme jupyterlab-2 jupyterlab-3 jupyterlab-4. Python -m pip install -r requirements-jupyterlite.txt The first jlab theme to include dark scrollbars. I include the custom extension in the JupyerLite build via a requirements-jupyterlite.txt file which includes the following: The following Github action acan be manually triggered to build a JupyterLite enviornment pushed to Github Pages (in your Github repo, you need to go to Settings > Pages and select the gh-pages branch as the target for the site. gitignore file and push everything to a repo. To make it easier to distribute, I remove the dist/ element from the. Jlpm run build & python3 -m build & pip3 install -upgrade. I’m not sure how to reference a local, statically packed favicon shipped with the extension, so for now I pull in a remote one. Let oldLink = document.getElementsB圜lassName('favicon') Let link = document.createElement('link') How to write slides Based on CommonMark Directives and extended syntax Built-in themes and CSS theming Export to HTML, PDF, and PowerPoint Marp family: The. Let head = document.head || document.getElementsByTagName('head') ![]() style/base.css file, we can hide the default JupyterLab logo and add our own: You can then install the resulting package: To open the cookiecutter files into a pre-existing directory, such as a one created by cloing a remote Gihub repo onto your desktop, run the command: ![]() It does, of course, require all the pain of building an extension, but we don’t need much more than some simple CSS and some simple JS, so we can get away with using the the JupyterLab Javascript cookiecutter extension. Whilst it doesn’t appear that there is straightforward “parameter configurable” way of doing this, and there is zero help on the various forums and issues trackers for anyone who does want to achieve this (because believe it or not, the setting does matter sometimes, and learners particularly, often benefit from thinking they’re in a “safe space” that is suggested by branded environments), I finally had a poke around for some hacky ways of doing this.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |