From 78c412cacee83e009d6eb5e7a2f5eb81bb1a9cc3 Mon Sep 17 00:00:00 2001 From: Henrik Ingo Date: Mon, 23 Oct 2017 23:08:14 +0300 Subject: [PATCH] Add extras plugin To make loading of extras/ addons simpler, and remove cruft from presentation html files, I created a new plugin src/plugins/extras/. If any of the extra addons (highlight.js, markdown.js, mathjax.js or mermaid.js) are added to the html file with a regular