News for hackers. Stuff that matters.

A comment on Jupyter-themes – Custom Jupyter Notebook Themes.

Re:Jupyter-themes – Custom Jupyter Notebook Themes by avivo on Monday January 23, 2017 @05:10PM (#13466578)
Very nice...but warning, it may require some effort to go back to default theme (see https://github.com/dunovank/jupyter-themes/issues/86 )

I can't actually recommend it until this is fixed.

[ Parent | on HN ]
Re:Jupyter-themes – Custom Jupyter Notebook Themes by gjjrfcbugxbhf on Tuesday January 24, 2017 @01:40AM (#13469285)
The only step needed there was ctrl-F5. Browser caching can be annoying. I'm not sure that it is up to the jupyter devs to fix it though?
[ Parent | on HN ]