jupyterlab - changement de style - police, taille de police
J'ai récemment mis à jour la version la plus récente de JupyterLab (0.28.12). Je suis sous Windows.
J'ai essayé d'ajuster le fichier variables.css situé dans \Lib\site-packages\jupyterlab\themes\@jupyterlab\theme-light-extension de mon dossier Miniconda/Anaconda. Je souhaite principalement modifier la famille et la taille de la police, ce que j'ai essayé d'utiliser le fichier variables.css. Cependant, je ne vois aucun changement.
Je suis allé au point extrême de supprimer les deux dossiers de thèmes, mais je peux toujours changer de thème sans problème via l'interface Lab.
Où se trouvent les fichiers .css du thème JupyterLab? Ou comment puis-je les trouver? J'ai cherché les fichiers css et le sous-dossier themes semble être leur seul emplacement. Je ne trouve pas non plus de noms dans mon répertoire utilisateur c:\Users\User\.jupyter où se trouvaient les fichiers .css pour Jupyter Notebook.
Merci!
De http://jupyterlab.readthedocs.io/en/latest/user/extensions.html?highlight=themes :
- Le répertoire themes contient des ressources (telles que CSS et icônes) pour les extensions de thème JupyterLab.
- Le répertoire themes est situé dans le répertoire de l'application JupyterLab, dont la valeur par défaut est
<sys-prefix>/share/jupyter/lab, où<sys-prefix>est le préfixe de répertoire spécifique au site de l'environnement Python actuel. Vous pouvez interroger le chemin d'accès actuel de l'application en exécutantjupyter lab path.
J'utilise actuellement la version 0.35.4 sur Ubuntu et il est possible de modifier les polices dans l'éditeur de paramètres -> Paramètres avancés, sélectionné dans le menu du haut.
Plusieurs options peuvent être définies en modifiant les chaînes json dans la vue brute. Voir l'image ci-dessous:
