Merge pull request
#717 from stefanv/htmlnotebook_highlight_markdown...
Merge pull request
#717 from stefanv/htmlnotebook_highlight_markdown
Add source highlighting to markdown snippets, with a theme matching the CodeMirror one we use.
This only highlights source code in blocks that are indented 4 spaces in markdown cells, leaving <pre> blocks alone. If highlight is desired in <pre> blocks, a further <code> block must be created.
The visual theme matches the one used for CodeMirror as much as possible.
