doc: Material Theme.

2017-08-28 14:33:07 +02:00
parent 7c2ba62b56
commit 5b27aba3e1
15 changed files with 227 additions and 110 deletions
--- a/docs/js/extra.js
+++ b/docs/js/extra.js
@@ -0,0 +1,4 @@
+/* Highlight */
+(function(hljs) {
+    hljs.initHighlightingOnLoad();
+})(hljs);