Script.js

gto76 · gto76 · commit 440bfee62b0e · 2019-03-19T22:49:55.000+01:00
diff --git a/web/script.js b/web/script.js
@@ -12,7 +12,6 @@ function parseMd() {
     aDiv.after(nodes);
     insertLinks()
     d3.selectAll("code").each(function() { hljs.highlightBlock(this); });
-    // removeOrigToc()
     addToc()
   });
 }
@@ -24,13 +23,6 @@ function insertLinks() {
   })
 }
 
-function removeOrigToc() {
-  headerContents = $('#contents')
-  contentsList = headerContents.next()
-  headerContents.remove()
-  contentsList.remove()
-}
-
 function addToc() {
   headerMain = $('#main')
   nodes = $.parseHTML(TOC)
