https://blog.jupyter.org/posts/2023/a-theme-editor-for-jupyterlab/