El tutorial o código que hallarás en este artículo es la solución más sencilla y efectiva que encontramos a tu duda o dilema.
Solución:
ACTUALIZAR 03/02/2018 ¡Ahora esta opción ya está integrada en el menú de configuración!
Recientemente, este problema se cerró en GitHub y, finalmente, es posible editar la configuración del laboratorio jupyter. ¡Viva!
El procedimiento se describe en esta solicitud de incorporación de cambios..
Simplemente actualice su jupyter-lab (ahora es la versión 0.27.0) y vaya a Archivo – Configuración, luego seleccione la pestaña Tema. Y escriba el nombre de su tema en las Anulaciones de usuario y presione la marca de verificación a la derecha de la string. Probé varios, pero solo el “tema”: “JupyterLab Dark” parece funcionar. Suficiente para mi.
Realmente aprecio el trabajo que está haciendo el equipo de jupyter. ¡Gracias a todos!
Me mordí la bala y descubrí cómo escribir un tema personalizado completo como una extensión.
El proceso es:
- Copie el tema Luz de
jupyterlab/packagesa su propio repositorio. - Edite los metadatos del paquete en
package.jsonysrc/index.ts - Edite las hojas de estilo CSS en
styles - Instala el tema usando
jupyter labextensions install .- Es posible que deba generar dependencias manualmente usando
node
- Es posible que deba generar dependencias manualmente usando
Aquí está mi tema para referencia futura: https://github.com/nfultz/jupyterlab-theme-simple-extension
EDITAR:
Ahora hay una plantilla de cookiecutter para hacerlo más fácil: https://github.com/jupyterlab/theme-cookiecutter