Pygments theme making use of JupyterLab CSS variables
