How to apply theme to jupyter lab
UPDATE 02/03/2018 Now this option is already built in in the settings menu! Recently this issue was closed on the GitHub, and finally it is possible to edit settings of the jupyter lab. Hurray! The procedure is described in this pull request. Just update your jupyter-lab (now it is version 0.27.0) and go to File … Read more