Browse Source

Script.js

pull/28/head
Jure Šorn 5 years ago
parent
commit
440bfee62b
1 changed files with 0 additions and 8 deletions
  1. 8
      web/script.js

8
web/script.js

@ -12,7 +12,6 @@ function parseMd() {
aDiv.after(nodes); aDiv.after(nodes);
insertLinks() insertLinks()
d3.selectAll("code").each(function() { hljs.highlightBlock(this); }); d3.selectAll("code").each(function() { hljs.highlightBlock(this); });
// removeOrigToc()
addToc() addToc()
}); });
} }
@ -24,13 +23,6 @@ function insertLinks() {
}) })
} }
function removeOrigToc() {
headerContents = $('#contents')
contentsList = headerContents.next()
headerContents.remove()
contentsList.remove()
}
function addToc() { function addToc() {
headerMain = $('#main') headerMain = $('#main')
nodes = $.parseHTML(TOC) nodes = $.parseHTML(TOC)

Loading…
Cancel
Save