Remove zepto

2014-04-01 01:27:24 -04:00
parent 88886c7693
commit 95e2a16842
3 changed files with 8 additions and 10 deletions
--- a/doclet/resources/init.js
+++ b/doclet/resources/init.js
@@ -1,3 +1,4 @@
-$(document).ready(function() {
-  $('pre').each(function(i, e) {hljs.highlightBlock(e)});
-});
+var elems = document.getElementsByTagName("pre");
+for (var i = 0; i < elems.length; i++) {
+	hljs.highlightBlock(elems[i]);
+}