GitHub repository: Dochinds/jupyterlab_pygments
Primary language: Python
Description: Pygments theme making use of JupyterLab CSS variables