Output separate HTML files

2014-04-01 16:31:56 -04:00
parent f03cd07225
commit 8e5fe2c0f6
7 changed files with 454 additions and 114 deletions
--- a/doclet/resources/main.js
+++ b/doclet/resources/main.js
@@ -0,0 +1,4 @@
+var elems = document.getElementsByTagName("pre");
+for (var i = 0; i < elems.length; i++) {
+	hljs.highlightBlock(elems[i]);
+}