Re:Jupyter-themes – Custom Jupyter Notebook Themes
by vq on Tuesday January 24, 2017 @12:17AM
(#13468993)
Put this in .jupyter/custom/custom.js
[ Parent
| on HN ]
There are no comments on this comment yet.