Pygments theme using JupyterLab CSS variables
