GitHub repository: zxramozx/jupyterlab_pygments
Description: Pygments theme making use of JupyterLab CSS variables