Pygments theme making use of JupyterLab CSS variables
https://github.com/jupyterlab/jupyterlab_pygments