diff --git "a/.local/share/jupyter/nbextensions/highlighter/demo_highlighter.html" "b/.local/share/jupyter/nbextensions/highlighter/demo_highlighter.html" new file mode 100644--- /dev/null +++ "b/.local/share/jupyter/nbextensions/highlighter/demo_highlighter.html" @@ -0,0 +1,257 @@ + + +
+highlighter.css
. The last button enables to remove all highlightings in the current cell. The extension can be installed with the nice UI available on jupyter_contrib_nbextensions website, which also allows to enable/disable the extension.
+You may also install the extension from the original repo: issue
+jupyter nbextension install https://rawgit.com/jfbercher/small_nbextensions/master/highlighter.zip --user
+
at the command line.
+Use a code cell with
+%%javascript
+require("base/js/utils").load_extensions("highlighter/highlighter")
+
You may also automatically load the extension for any notebook via
+jupyter nbextension enable highlighter/highlighter
+
%%javascript
+require("base/js/utils").load_extensions("highlighter/highlighter")
+